An experience modeling critical requirements

Author

Payne, Charles N., Jr. ; Moore, Andrew P. ; Mihelcic, David M.

Author_Institution

Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

fYear

1994

fDate

27 Jun-1 Jul 1994

Firstpage

245

Lastpage

255

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

Keywords

fault tolerant computing; security of data; software reliability; systems analysis; External COMSEC Adaptor; confidentiality model; experience modeling critical requirements; high assurance systems; network security solutions; parameterized modeling framework; security modeling approach; selective bypass; Cryptography; Government; Information security; Laboratories; Message systems; Protection;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1994. COMPASS '94 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security. Proceedings of the Ninth Annual Conference on

Conference_Location

Gaithersburg, MD

Print_ISBN

0-7803-1855-2

Type

conf

DOI

10.1109/CMPASS.1994.318448

Filename

318448