Conference paper

file

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

Submitted by TimTh on Thu, 02/09/2012 - 3:45pm. Contributor:
file

Visible to the public A Brief Introduction to Cryptol

Submitted by TimTh on Thu, 02/09/2012 - 3:05pm. Contributor:
file

Visible to the public Formal Models of AIM

Submitted by Launchbury on Thu, 02/09/2012 - 2:43pm. Contributor:
file

Visible to the public CDSA Initial Review

Submitted by TimTh on Thu, 02/09/2012 - 2:30pm. Contributor:
file

Visible to the public Haskell CDSA Plan

Submitted by adyson on Thu, 02/09/2012 - 2:16pm. Contributor:
file

Visible to the public The Separation and Krenz Specifications Version 3.0

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

Visible to the public Cyber Command & Control

Submitted by Subrosa999 on Mon, 11/07/2011 - 3:30pm. Contributor:

Below is the abstract from our original paper (Howes, Mezzino, Sarkesain), but its the distributed system architecture and the virtual organization for conducting cyber command and control / operations described in this paper that are relevant to CPSs - consider integration of cyber and kinetic operations (i.e., cyber and global missile defense)