NSA

file

Significance of Science in NSA Research, and Scientific Needs for Defense of Cyberspace

Submitted by Katie Dey on Mon, 12/03/2012 - 11:36am. Contributor:

Dr. Michael Wertheimer (born February 6, 1957) is a cryptologic mathematician.

file

Science of Security

Submitted by Katie Dey on Fri, 05/11/2012 - 7:36am. Contributors:

Abstract:

file

Program Verification and the Church-Rosser Theorem

Submitted by adyson on Tue, 02/14/2012 - 1:36pm. Contributor:
  • 213.14 KB
  • 0 views
  • 66 downloads
  • Download
file

To Trust or Not to Trust, That is the Question?

Submitted by adyson on Thu, 02/09/2012 - 3:45pm. Contributor:
  • 34.88 KB
  • 0 views
  • 72 downloads
  • Download
file

Trusting Software

Submitted by adyson on Thu, 02/09/2012 - 3:33pm. Contributor:
  • 67.24 KB
  • 0 views
  • 70 downloads
  • Download