Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Conference Proceedings

Static Analysis Tools for Software Security Certification

Published: October 17, 1988

Author(s)

Richard Kuhn (NIST)

Conference

Name: 11th National Computer Security Conference
Dates: October 17-20, 1988
Location: Baltimore, Maryland, United States
Citation: Proceedings of the 11th National Computer Security Conference, pp. 290-298

Abstract

Keywords

Electronic Funds Transfer (EFT); security certification; software; static analysis
Control Families

None selected

Documentation

Publication:
None available

Supplemental Material:
None available

Topics

Security and Privacy
analytics; testing & validation

Technologies
software