Thesis (MEng)--University of South Australia, 2000

Thesis (Ph. D. in Computer Science)--Vanderbilt University, Aug. 2008. / Title from title screen. Includes bibliographical references.

Thesis (M.S. in Software Engineering)--Naval Postgraduate School, March 2009. / Thesis Advisors: Michael, James B. ; Shing, Man-Tak. "March 2009." Description based on title screen as viewed on April 23, 2009. Author subject terms: Software Metrics, Safety Metrics, Validation Metrics, Metrics Framework, Validation, Safety-Critical Software, Software Engineering, Goal Question Metric, Goal Structuring Notation. Includes bibliographical references (p. 119-121). Also available in print.

Thesis (M.S.C.I.T.)--Regis University, Denver, Colo., 2008. / Title from PDF title page (viewed on July 8, 2008). Includes bibliographical references.

Thesis (M.S.)--West Virginia University, 2006. / Title from document title page. Document formatted into pages; contains ix, 95 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 75-79).

In his paper B.K.Harrison concludes with the observation that his "solutions ... are presented as raw material for further research in General Relativity". In the same spirit, the present work started out as an attempt to process that raw material in a production-line powered by a computer. Harrison's solutions uould be fed in at one end, and the finished product, as yet undecided, would appear at the other. In the event, however, the project became more like an exercise in quality control, to continue the analogy. A search was made for algebraic criteria which would distinguish between those solutions which were acceptable for further analysis with particular regard to Gravitational radiation, and those which were not. Regrettably, no criteria could be found which characterised radiative solutions unequivocally, and, at the same time, lent themselves to a computer approach. The result is that the discussion of radiative solutions has had to be relegated to an appendix (Appendix 1), while the main body of the work is concerned with the determination of those quantities (the Newman-Penrose scalars) which would seem to be the foundation of any future computer-based analysis of gravitational radiation. Chapter 1 is an account of the underlying mathematical formulation, defining the terms, concepts and processes involved. In Chapter 2 the transformation of some of the ideas of Chapter 1 into computer software is presented. Chapter 3 is concerned with the specific metrics (the Harrison metrics) and the extent to which they have heen processed. The project has leaned heavily on papers by Harrison for the "raw material", by D' Inverno and Russell Clark, who pioneered the techniques and classified the Harrison metrics, and by Sachs for the treatment of gravitational radiation. However, the analysis of diagonal metrics, the special tetrad of Chapter 2 and the results in Appendix 2 are new.

Software engineers currently rely on lengthy source code reviews, testing, and static analysis tools to attempt identification of software vulnerabilities. While these are sometimes effective, the methods used are limited and don't catch all security vulnerabilities.Work has been done in identifying areas of software prone to failure through a design metrics approach, and with success. This study aims to extend this idea to software security. The premise of this thesis is that the set of security vulnerabilities overlaps (or may be a subset of) the overall set of software bugs and failures. It is postulated that a good, reliable design should also be a secure design. This thesis identifies design issues which may lead to security vulnerabilities and proposes possible design metric enhancements to capture these design properties. / Department of Computer Science

Thesis (M. Eng.)--Carleton University, 2004. / Includes bibliographical references (p. 93-97). Also available in electronic format on the Internet.

Thesis (Ph. D. in Software Engineering )--Naval Postgraduate School, March 2005. / Thesis Advisor(s): Bret Michael. Includes bibliographical references (p. 389-412) Also available online.

Thesis (M.S.)--West Virginia University, 2004. / Title from document title page. Document formatted into pages; contains viii, 106 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 105-106).