Paper Info
Title
Applying Practical Formal Methods to the Specification and Analysis of Security Properties
Abstract
The SCR (Software Cost Reduction) toolset contains tools for specifying, debugging, and verifying system and software requirements. The utility of the SCR tools in detecting specification errors, many involving safety properties, has been demonstrated recently in projects involving practical systems, such as the International Space Station, a flight guidance system, and a U.S. weapons system. This paper briefly describes our experience in applying the tools in the development of two secure systems: a communications device and a biometrics standard for user authentication.
Year
DOI
Venue
2001
10.1007/3-540-45116-1_11
MMM-ACNS
Keywords
Field
DocType
biometrics standard,software cost reduction,verifying system,u.s. weapons system,security properties,secure system,international space station,scr tool,practical formal methods,flight guidance system,practical system,communications device,software requirements,requirements,formal method,biometry,security
Weapon system,Authentication,Computer science,Computer security,Avionics,Formal specification,Formal methods,Cost reduction,Software requirements,Debugging
Conference
Volume
ISSN
ISBN
2052
0302-9743
3-540-42103-3
Citations 
PageRank 
References 
13
1.28
13
Authors
1
Name
Order
Citations
PageRank
Constance L. Heitmeyer1898151.71