1.
Navy Handbook for Certification
Navy Handbook for the Computer Security Certification of Trusted Systems. This page is part of the web for the Center for High Assurance Computing Systems. ...
2.
CHACS Home Page
... to the Home Page of the Center for High Assurance Computer Systems, a branch within the Information Technology Division of the Naval Research Laboratory ...
3.
Tools for constructing requirements specifications: The SCR ...
File Format: PDF/Adobe Acrobat - View as HTML requirements specifications in the SCR (Software Cost Reduction) tabular notation. The tools include a specification editor, a consistency checker, a ...
4.
ALICS - Applications of Logic in Computer Security
... Andreas Bauer, Australian National University, Australia; Lujo Bauer, Carnegie-Mellon University, USA; Heiko Mantel, TU Darmstadt, Germany ...
5.
Base Machine Interface
Base Machine Interface. The underlying machine on which we model CSP sequential processes keeps track of the status of relevant communication channels and ...
6.
Automatic Construction of High Assurance Systems from Requirements ...
This paper presents a method, based on the SCR (Software Cost Reduction) requirements method, that has recently been developed for building high assurance ...
7.
3.1.1 Tactical Command Organization
Figure 3.1 provides an overview of the command relationships involved with making tactical decisions for joint force and Naval operations. ...
8.
TOWARD A COMPREHENSIVE INFOSEC CERTIFICATION METHODOLOGY
File Format: PDF/Adobe Acrobat - View as HTML TOWARD A COMPREHENSIVE INFOSEC CERTIFICATION. METHODOLOGY. Charles N. Payne, Judith N. Froscher and Carl E. Landwehr. Center for High Assurance Computing ...
9.
Base Machine Interface
Base Machine Interface. The underlying machine on which we model CSP sequential processes keeps track of the status of relevant communication channels and ...
10.
Workshop on Issues in the Theory of Security (WITS '05)
Contact people : Catherine Meadows Workshop Chair US Naval Research Laboratory email: wits05chair@itd.nrl.navy.mil. Jan Jürjens Workshop Vice Chair ...