A Structuring Concept for Securing Modern Day Computing Systems

Abstract Security within computing systems is ambiguous, proliferated through obscurity, a knowledgeable user, or plain luck. Presented is a novel concept for structuring computing systems to achieve a higher degree of overall system security through the compartmentalization and isolation of executed instructions for each component. Envisioned is a scalable model which focuses on lower level operations to alleviate the view of security as a binary outcome to that of a deterministic metric based on a set of independent characteristics.

[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.