A Structuring Concept for Securing Modern Day Computing Systems
暂无分享,去创建一个
[1] Herbert Bos,et al. Can we make operating systems reliable and secure? , 2006, Computer.
[2] C. A. R. Hoare,et al. Monitors: an operating system structuring concept , 1974, CACM.
[3] Peter G. Neumann,et al. PSOS revisited , 2003, 19th Annual Computer Security Applications Conference, 2003. Proceedings..
[4] Bart Jacobs,et al. Increased security through open source , 2007, Commun. ACM.
[5] Martín Abadi,et al. A Logical Account of NGSCB , 2004, FORTE.
[6] Gernot Heiser,et al. The von Neumann Architecture Is Due for Retirement , 2013, HotOS.
[7] Sergey Bratus,et al. The cake is a lie: privilege rings as a policy resource , 2009, VMSec '09.
[8] Andrew Martin,et al. The ten-page introduction to Trusted Computing , 2008 .
[9] Steven J. Vaughan-Nichols,et al. Virtualization Sparks Security Concerns , 2008, Computer.
[10] Jonathan S. Shapiro,et al. EROS: A Principle-Driven Operating System from the Ground Up , 2002, IEEE Softw..
[11] Sean W. Smith,et al. Virtualization and Security: Back to the Future , 2008, IEEE Security & Privacy Magazine.
[12] John Rushby,et al. The Bell and La Padula Security Model , 1986 .
[13] Phu Dung Le,et al. The Ideal Computing System Framework – A Novel Security Paradigm , 2014 .
[14] Andrew M. Lister,et al. Hierarchical monitors , 1977, Softw. Pract. Exp..
[15] E. J. McCauley,et al. KSOS - The design of a secure operating system , 1899 .
[16] Carl E. Landwehr,et al. Formal Models for Computer Security , 1981, CSUR.