Static Analysis Tools for Software Security Certification

Kuhn, Richard

Conference Proceedings

Static Analysis Tools for Software Security Certification

Documentation Topics

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

This paper describes a suite of tools used in evaluating software for security certification. The tools are currently being used on software for secure Electronic Funds Transfer, but could be applied to other applications as well.

Keywords

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

Control Families

None selected

Documentation

Publication:
None available

Supplemental Material:
None available

Document History:
10/17/88: Conference Proceedings (Final)

Topics

Security and Privacy
analytics; testing & validation

Technologies
software & firmware