DMCA
Applying Practical Formal Methods to the Specification and Analysis of Security Properties (2001)
| Citations: | 22 - 0 self |
BibTeX
@MISC{Heitmeyer01applyingpractical,
author = {Constance Heitmeyer},
title = {Applying Practical Formal Methods to the Specification and Analysis of Security Properties},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
Keyphrases
practical formal method security property safety property biometrics standard software requirement international space station practical system software cost reduction u.s. weapon system user authentication specification error flight guidance system scr tool secure system paper briefly communication device
