Mathematical Foundations of Informatics and Programming

A secure computer architecture model and its emulation

V. V. Gorelov

Tomsk State University, Tomsk, Russia

Abstract: A model for secure computer architecture is proposed. The security is provided with protecting values of types and references throughout the machine instructions, operating system, and applications. The protection is achived by means of checking up ranges and operation permissibility for types and references. The implementation of this architecture is made through the development of virtual machine running over the existing operating system.

Keywords: software, computer architecture, security, safety, virtualization, isolation.

UDC: 681.3