|
USENIX Security '08 Refereed Paper
Pp. 321–334 of the Proceedings
Verifying Compliance of Trusted Programs
Sandra Rueda, Dave King, and Trent Jaeger, The Pennsylvania State
University
View the full text of this paper in
HTML and PDF.
The Proceedings are published as a collective work, © 2008 by the USENIX Association. All Rights Reserved. Rights to individual papers remain with the author or the author's employer. Permission is granted for the noncommercial reproduction of the complete work for educational or research purposes. USENIX acknowledges all trademarks within this paper.
|
