Lockdown: towards a safe and practical architecture for security applications on commodity platforms
作者： Amit Vasudevan , Bryan Parno , Ning Qu , Virgil D. Gligor , Adrian Perrig
DOI: 10.1007/978-3-642-30921-2_3
关键词:
摘要: … applications, and ensures that even if a trusted application is corrupted, it can only leak data to … , we study the design and implementation of a user interface for red/green systems that is …
springer.com
hypcode.org参考文章(34)
Bryan Parno, Ning Qu, Amit Vasudevan, Adrian Perrig, Virgil D. Gligor, Lockdown: A Safe and Practical Environment for Security Applications (CMU-CyLab-09-011) ,(2009)
FM 2009: Formal Methods Springer Berlin Heidelberg. ,(2009) , 10.1007/978-3-642-05089-3
Dirk Balfanz, Daniel R. Simon, WindowBox: a simple security model for the connected desktop conference on usenix windows systems symposium. pp. 4- 4 ,(2000)
Butler Lampson, Usable Security: How to Get It Communications of The ACM. ,vol. 52, ,(2009)
Dirk Leinenbach, Thomas Santen, Verifying the Microsoft Hyper-V Hypervisor with VCC formal methods. ,vol. 5850, pp. 806- 809 ,(2009) , 10.1007/978-3-642-05089-3_51
David Lie, Lionel Litty, H. Andrés Lagar-Cavilla, Hypervisor support for identifying covertly executing binaries usenix security symposium. pp. 243- 258 ,(2008)
Alexander Moshchuk, Chris Grier, Helen J. Wang, Herman Venter, Piali Choudhury, Samuel T. King, The multi-principal OS construction of the gazelle web browser usenix security symposium. pp. 417- 432 ,(2009)
Marcus Peinado, Yuqun Chen, Paul England, John Manferdelli, NGSCB: A Trusted Open System australasian conference on information security and privacy. pp. 86- 97 ,(2004) , 10.1007/978-3-540-27800-9_8
Butler Lampson, Privacy and securityUsable security Communications of the ACM. ,vol. 52, pp. 25- 27 ,(2009) , 10.1145/1592761.1592773
Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig, SecVisor Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles - SOSP '07. ,vol. 41, pp. 335- 350 ,(2007) , 10.1145/1294261.1294294