Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Journal Article

A Technique for Analyzing the Effects of Changes in Formal Specifications

Published: December 01, 1992
Citation: The Computer Journal vol. 35, no. 6, (December 1992) pp. 574-578

Author(s)

Richard Kuhn (NIST)

Abstract

Keywords

formal specifications; modeling; software
Control Families

None selected

Documentation

Publication:
Journal Article (DOI)

Supplemental Material:
None available

Topics

Security and Privacy
modeling

Technologies
software