Industry

The document was issued by industry or industrial organization.
file

Visible to the public Compositional Assurance for MILS

Submitted by TimTh on Thu, 02/02/2012 - 10:41am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract

Assurance and certification for safety and security have traditionally been performed only on complete systems. But modern engineering and business practices argue for a compositional approach based on pre-certified components.

file

Visible to the public The SLAM Project: Debugging System Software via Static Analysis

Submitted by brad_martin on Tue, 09/13/2011 - 4:32pm. Contributors:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Synthesis of a Complex Software Vulnerability Analyzer (SVA)

Submitted by brad_martin on Tue, 09/13/2011 - 4:30pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Towards Evolving Specs of Security Protocols

Submitted by Dusko P on Tue, 09/13/2011 - 4:26pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public GemClassifier, a Formally Developed Smart Card

Submitted by TimTh on Tue, 09/13/2011 - 4:21pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Cryptol: A Domain Specific Language for Cryptography

Submitted by TimTh on Tue, 09/13/2011 - 4:16pm. Contributor:
file

Visible to the public A High-Confidence Broker of Security Services

Submitted by brad_martin on Mon, 09/12/2011 - 2:14pm. Contributor:

Presented as part of the 2002 HCSS conference.