Modeling and Validating Security and Confidentiality in System Architectures

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2021
Accession Number
AD1149123

Entities

People

  • Aaron Greenhouse
  • Jorgen Hansson
  • Lutz Wrage

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Case Studies
  • Classification
  • Computer Access Control
  • Computer Programming
  • Computers
  • Corporations
  • Cybersecurity
  • Engineering
  • Guarantees
  • Information Systems
  • Language
  • Models
  • Notation
  • Platforms
  • Software Development
  • Specifications
  • Standards
  • Universities
  • Validation