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/

[1] Domashnyaya stranitsa eksperimentalnoi realizatsii proekta Compozit, , 2010 http://skylark.tsu.ru/compozit/

[2] Domashnyaya stranitsa proekta QEMU, , 2010 http://www.qemu.org/

[3] Domashnyaya stranitsa proekta VMWare, , 2010 http://www.vmware.com/

[4] Domashnyaya stranitsa proekta VirtualBox, , 2010 http://www.virtualbox.org/

[5] Domashnyaya stranitsa proekta Linux, , 2010 http://www.linux.org/

[6] Domashnyaya stranitsa proekta FreeBSD, , 2010 http://www.freebsd.org/

[7] Domashnyaya stranitsa proekta Xen, , 2010 http://www.xen.org/

[8] Domashnyaya stranitsa proekta Solaris Zones, , 2010 http://www.sun.com/bigadmin/content/zones/

[9] Dokumentatsiya pro tekhnologiyu FreeBSD jail, , 2010 http://www.freebsd.org/doc/en_US.ISO8859-1/books/handbook/jails.html

[10] Domashnyaya stranitsa proekta OpenVZ, , 2010 http://wiki.openvz.org/

[11] Rukovostvo po funktsii chroot() iz proekta FreeBSD, , 2010 http://www.freebsd.org/cgi/man.cgi?query=chroot&apropos=0&sektion=0&manpath=FreeBSD+8.1-RELEASE&format=html