Integrating a Flexible Modeling Framework (FMF) with the Network Security Assessment Instrument to Reduce Software Security

Integrating a Flexible Modeling Framework (FMF) with the Network Security Assessment Instrument to Reduce Software Security (2002)

by David P. Gilliam , John D. Powell

Venue:	Risk,” Proceedings on the 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Citations:	3 - 2 self

882	Design and Validation of Computer Protocols. - Holzmann - 1991
557	Foundations of constructive Analysis - Bishop - 1967
19	M.: Property Based Testing: a New Approach to Testing for Assurance - Fink, Bishop - 1997 (Show Context) Citation Context ...n. The Vmatrix, examines vulnerabilities, exposures and the methods used to exploit them. Vulnerabilities and exposures are listed along with their Common Vulnerabilities and Exposures (CVE) listing. =-=[2]-=- The individual parts of the Security Assessment Instrument can be used separately or in combination (See Figure 2) to provide the additional benefits. Figure 2: Technology Integrations6. Conclusion R...
18	Generating Test Oracles Via Model Checking - Callahan, Easterbrook, et al. - 1998
15	Reducing software security risk through an integrated approach. - Gilliam, Kelly, et al. - 2000
11	Development of a software security assessment instrument to reduce software security risk. In Enabling Technologies: Infrastructure for Collaborative Enterprises, - Gilliam - 2001
8	Model checking Security Protocols: A Case Study Using SPIN, IMC - Wen, Mizoguchi - 1998
7	Specification and Classification of Generic Security Flaws for the Tester’s Assistant Library - Dodson - 1996