Revision as of 20:27, 28 June 2012 edit 67.208.183.122 (talk) →Examples ← Previous edit		Revision as of 16:09, 26 July 2012 edit undo ChrisGualtieri (talk \| contribs) Pending changes reviewers, Rollbackers 457,369 edits m →References: Typo fixing, typos fixed: , → , using AWB Next edit →
Line 23: 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 {{refend}}

Language-based system: Difference between revisions