Virgil Gligor, CyLab Director, issues "A Challenge for Trustworthy Computing" at TIW 2010 on the Carnegie Mellon Campus, in Pittsburgh, Pa., on 6-7-10. (Part I)
Virgil Gligor - Part II - Axioms (continued), (Ir)relevance of Virtualization to Humans
Virgil Gligor - Part III - (Ir)relevance of Security Kernels to Assurance, Conclusions
For more information on TIW 2010:
Notes on TIW 2010: The Builders & Building Blocks of Trustworthy Infrastructure
CyLab Chronicles: A Report on TIW 2010
Trustworthy Infrastructure Workshop (TIW) 2010