U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

Computer Security Resource Center

Computer Security Resource Center

This is an archive
(replace .gov by .rip)
    Publications

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

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

Topics

Security and Privacy
analytics; testing & validation

Technologies
software & firmware