|
Prikladnaya Diskretnaya Matematika, 2010, Number 4(10), Pages 23–32
(Mi pdm251)
|
|
|
|
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.
Citation:
V. V. Gorelov, “A secure computer architecture model and its emulation”, Prikl. Diskr. Mat., 2010, no. 4(10), 23–32
Linking options:
https://www.mathnet.ru/eng/pdm251 https://www.mathnet.ru/eng/pdm/y2010/i4/p23
|
Statistics & downloads: |
Abstract page: | 338 | Full-text PDF : | 111 | References: | 42 | First page: | 1 |
|