Language-based system: Difference between revisions

Revision as of 16:09, 26 July 2012

Revision as of 11:40, 24 August 2012

Line 20:

{{Reflist}}

{{refbegin}}

*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– 195–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:pp 186 - 197 97 (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 – 168138–68

{{refend}}