Revision as of 18:57, 15 July 2007 edit BMF81 (talk \| contribs) 4,476 edits →References: +1 ← Previous edit		Revision as of 18:59, 15 July 2007 edit undo BMF81 (talk \| contribs) 4,476 edits →References: +1 Next edit →
Line 17: V Haldar, D Chandra, M Franz ''[http://www.vivekhaldar.com/pubs/trustedvm-tr.pdf Semantic remote attestation—a virtual machine directed approach to trusted computing]'' USENIX Virtual Machine Research and Technology Symposium, 2004 Giacobazzi, Mastroeni ''[http://doi.acm.org/10.1145/964001.964017 Abstract non-interference: parameterizing non-interference by abstract interpretation]'' Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages Pages: 186 - 197 (2004) *Algis Rudys, Dan S. Wallach ''[http://doi.acm.org/10.1145/505586.505589 Termination in language-based systems]'' ACM Transactions on Information and System Security (TISSEC) Volume 5 , Issue 2 (May 2002) pp. 138 - 168 [[Category:Operating system kernels]]

Language-based system: Difference between revisions