HCSS '01

file

Visible to the public Common Data Security Architecture (CDSA) Formal Development

Submitted by brad_martin on Thu, 02/09/2012 - 1:06pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public The Separation and Krenz Specifications Version 3.0

Submitted by TimTh on Wed, 02/08/2012 - 9:22pm. Contributor:
file

Visible to the public Krenz Security Architecture

Submitted by brad_martin on Wed, 02/08/2012 - 9:18pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public Programatica: The Early Years — A Personal Recollection

Submitted by brad_martin on Wed, 02/08/2012 - 9:16pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public High Confidence Software and Systems

Submitted by brad_martin on Wed, 02/08/2012 - 9:05pm. Contributor:

Presented as part of the 2001 HCSS conference.