Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

    Publications

Conference Paper

Static Analysis Tools for Software Security Certification

Published: October 17, 1988

Author(s)

Richard Kuhn (NIST)

Conference

Name: 11th National Computer Security Conference
Dates: 10/17/1988 - 10/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:
No Download Available

Supplemental Material:
None available

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

Topics

Security and Privacy

analytics, testing & validation

Technologies

software & firmware