Language-based system: Difference between revisions

Revision as of 09:30, 28 April 2014

Revision as of 11:26, 5 May 2014

Line 12:

*[[Oberon (operating system)|Oberon]]

*[[Midori (operating system)|Midori]]

*[[Verve (operating_systemoperating system)|Verve]]

*[[Inferno (operating system)|Inferno]]

*[[JNode]]

Line 23:

*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 pp 186-97186–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–68

{{refend}}