NSA

file

Visible to the public Correct Specification of Java Code

Submitted by TimTh on Tue, 08/23/2011 - 9:24am. Contributor:

Presented as part of the 2006 HCSS conference.

file

Visible to the public NSA Center for Assured Software

Submitted by TimTh on Mon, 08/22/2011 - 2:13pm. Contributor:

Presented as part of the 2006 HCSS conference.

file

Visible to the public DoD Software Assurance Concept of Operations

Submitted by TimTh on Mon, 08/22/2011 - 2:08pm. Contributor:

Presented as part of the 2006 HCSS conference.

file

Visible to the public An Educational Program for Information System Security Engineers

Submitted by TimTh on Fri, 07/01/2011 - 8:46am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public NSA Perspectives on the Science of Security

Submitted by rvmeush on Mon, 11/15/2010 - 10:50am. Contributor:
file

Visible to the public NSA SVP Hard Problem Overview

Submitted by TimTh on Mon, 11/15/2010 - 9:45am. Contributor: