Applying Practical Formal Methods to the Specifications and Analysis of Security Properties

Abstract

The SCR (Software Cost Reduction) toolset contains tools for specifying, debugging, and verifying system and software requirements. The utility of the SCR tools in detecting specification errors, many involving safety properties, has been demonstrated recently in projects involving practical systems, such as the International Space Station, a flight guidance system, and a U.S. weapons system. This paper briefly describes our experience in applying the tools in the development of two secure systems: a communications device and a biometrics standard for user authentication.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2001
Accession Number
ADA464842

Entities

People

  • Constance Heitmeyer

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Energy and Power Technologies
  • Human Systems
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Aircrafts
  • Algorithms
  • Application Software
  • Biometrics
  • Communication Channels
  • Computer Programs
  • Generators
  • Information Systems
  • Military Research
  • Natural Languages
  • Operating Systems
  • Security
  • Simulations
  • Simulators
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Software Engineering
  • Systems Analysis and Design

Technology Areas

  • Space