A Virtual Machine Based Information Flow Control System for Policy Enforcement-Reference-Cited by-同舟云学术

A Virtual Machine Based Information Flow Control System for Policy Enforcement

Published:2008-02 Issue:1 Volume:197 Page:3-16
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Nair Srijith K.,Simpson Patrick N.D.,Crispo Bruno,Tanenbaum Andrew S.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. R. Sailer, X. Zhang, T. Jaeger, L. van Doorn, Design and Implementation of a TCG-based Integrity Measurement Architecture, 13th Usenix Security Symposium, San Diego, California, August 2004

2. A lattice model of secure information flow;Denning;Communications of the ACM,1976

3. An abstract computer model demonstrating directional information flow;Fenton,1974

4. Certification of programs for secure information flow;Denning;Communications of the ACM,1977

5. N. Zeldovich, S. Boyd-Wickizer, E. Kohler, and D. Mazieres, Making information flow explicit in HiStar, Proc. 7th Symposium on Operating Systems Design and Implementation, pp. 263–278, 2006

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

2. ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs;IEEE Transactions on Reliability;2022-06

3. Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures;Secure IT Systems;2021

4. Kaizen: a scalable concolic fuzzing tool for Scala;Proceedings of the 11th ACM SIGPLAN International Symposium on Scala;2020-11-13

5. Scalayzer;Proceedings of the 4th ACM/IEEE Symposium on Edge Computing;2019-11-07