Geodesic
A secure computer architecture model and its emulation
Prikladnaâ diskretnaâ matematika, no. 4 (2010), pp. 23-32

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{PDM_2010_4_a2,
     author = {V. V. Gorelov},
     title = {A secure computer architecture model and its emulation},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {23--32},
     publisher = {mathdoc},
     number = {4},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2010_4_a2/}
}
TY  - JOUR
AU  - V. V. Gorelov
TI  - A secure computer architecture model and its emulation
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2010
SP  - 23
EP  - 32
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2010_4_a2/
LA  - ru
ID  - PDM_2010_4_a2
ER  - 
%0 Journal Article
%A V. V. Gorelov
%T A secure computer architecture model and its emulation
%J Prikladnaâ diskretnaâ matematika
%D 2010
%P 23-32
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2010_4_a2/
%G ru
%F PDM_2010_4_a2
V. V. Gorelov. A secure computer architecture model and its emulation. Prikladnaâ diskretnaâ matematika, no. 4 (2010), pp. 23-32. http://geodesic.mathdoc.fr/item/PDM_2010_4_a2/