An Experience Modeling Critical Requirements

Abstract

Previous work at NRL demonstrated the benefits of a security modeling approach for building high assurance systems for particular application domains. This paper introduces an application domain called selective bypass that is prominent in certain network security solutions. We present a parameterized modeling framework for the domain and then instantiate a confidentiality model for a particular application, called the External COMSEC Adaptor (ECA), within the framework. We conclude with lessons we learned from modeling, implementing and verifying the ECA. Our experience supports the use of the application based security modeling approach for high assurance systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1994
Accession Number
ADA465150

Entities

People

  • Andrew P. Moore
  • Charles N. Payne Jr.
  • David M. Mihelcic

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Communication Channels
  • Computer Network Security
  • Cost Reductions
  • Cryptography
  • Embedded Systems
  • Environment
  • Families (Human)
  • Language
  • Lessons Learned
  • Military Research
  • Modulation
  • Numbers
  • Risk
  • Security
  • Sensitivity
  • Software Development
  • Specifications

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computational Fluid Dynamics (CFD)
  • Cybersecurity.

Technology Areas

  • Cyber