Mathematical Foundations of Informatics and Programming
A secure computer architecture model and its emulation
V. V. Gorelov
Tomsk State University, Tomsk, Russia
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.
software, computer architecture, security, safety, virtualization, isolation.
PDF file (571 kB)
V. V. Gorelov, “A secure computer architecture model and its emulation”, Prikl. Diskr. Mat., 2010, no. 4(10), 23–32
Citation in format AMSBIB
\paper A secure computer architecture model and its emulation
\jour Prikl. Diskr. Mat.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|