HCSS '03

page

Visible to the public 2003 HCSS Conference Proceedings

Submitted by Katie Dey on Wed, 12/04/2013 - 4:18pm

The third annual HCSS Conference was held April 1-3, 2003. The program agenda and slide presentations are listed below.

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.