HCSS 2003

file

Visible to the public Introducing Cyberlogic

Submitted by Natarajan Shankar on Mon, 02/20/2012 - 3:51pm. Contributors:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Large Scale Separation Through Monads: The Oregon Separation Kernel

Submitted by TimTh on Mon, 09/12/2011 - 2:26pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Secure Agents

Submitted by Carolyn.Talcott on Mon, 09/12/2011 - 2:24pm. Contributors:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Embedded Deduction with ICS

Submitted by John Rushby on Mon, 09/12/2011 - 2:10pm. Contributors:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Overview FAA IT & ISS R&D: Security Today Security Tomorrow

Submitted by TimTh on Mon, 09/12/2011 - 2:07pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Trustworthy Refinement through Intrusion-Aware Design (TRIAD)

Submitted by TimTh on Mon, 09/12/2011 - 2:02pm. Contributor:

Presented as part of the 2003 HCSS conference.