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.
Download file
Counter downloads: 80
- Title A SECURE COMPUTER ARCHITECTURE MODEL AND ITS EMULATION
- Headline A SECURE COMPUTER ARCHITECTURE MODEL AND ITS EMULATION
- Publesher
Tomsk State University
- Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 4(10)
- Date:
- DOI
Keywords
isolation, virtualization, safety, security, computer architecture, software, изоляция ошибок, виртуализация, безопасность, вычислительная архитектура, программное обеспечениеAuthors
References
<http://www.freebsd.org/cgi/man.cgi?query=chroot&apropos=0&sektion=0&manpath=> FreeBSD+8.1-RELEASE&format=html - Руковоство по функции chroot() из проекта FreeBSD. 2010.
<http://www.freebsd.org/doc/en_US.ISO8859-1/books/handbook/jails.html> - Документация про технологию FreeBSD jail. 2010.
<http://wiki.openvz.org/> - Домашняя страница проекта OpenVZ. 2010.
<http://www.xen.org/> - Домашняя страница проекта Xen. 2010.
<http://www.sun.com/bigadmin/content/zones/> - Домашняя страница проекта Solaris Zones. 2010.
<http://www.freebsd.org/> - Домашняя страница проекта FreeBSD. 2010.
<http://www.virtualbox.org/> - Домашняя страница проекта VirtualBox. 2010.
<http://www.linux.org/> - Домашняя страница проекта Linux. 2010.
<http://www.qemu.org/> - Домашняя страница проекта QEMU. 2010.
<http://www.vmware.com/> - Домашняя страница проекта VMWare. 2010.
<http://skylark.tsu.ru/compozit/> - Домашняя страница экспериментальной реализации проекта Compozit. 2010.

A SECURE COMPUTER ARCHITECTURE MODEL AND ITS EMULATION | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 4(10).
Download full-text version
Download fileCounter downloads: 175