Alloy Community

User login

A Security Domain Model to Assess Software for Exploitable Covert Channels

Authors: 
Alan Shaffer, Mikhail Auguston, Cynthia Irvine, and Tim Levin
Publication Venue: 
ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS 2008)
When Published: 
Jun 8 2008

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte