Revision as of 18:54, 15 July 2007 edit BMF81 (talk \| contribs) 4,476 edits →References: +1 ← Previous edit		Revision as of 18:57, 15 July 2007 edit undo BMF81 (talk \| contribs) 4,476 edits →References: +1 Next edit →
Line 15: {{Reflist}} A Sabelfeld, AC Myers ''[http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1159651&isnumber=25986 Language-based information-flow security]'' IEEE Journal on Selected Areas in Communications, 2003 Volume: 21, Issue: 1 pp. 5- 19 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) [[Category:Operating system kernels]]

Language-based system: Difference between revisions