Introduction to Modeling Tools for Software Security

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2007
Accession Number
AD1145786

Entities

People

  • Samuel T. Redwine

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Artifacts
  • Aviation Safety
  • Computer Programming
  • Department Of Defense
  • Engineering
  • Homeland Security
  • Life Cycles
  • Materials
  • Notation
  • Programming Languages
  • Security
  • Software Development
  • Specifications
  • Standards
  • Technology Transfer
  • United States
  • Universities