A SECURE COMPUTER ARCHITECTURE MODEL AND ITS EMULATION | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 4(10).

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 Tomask State UniversityTomsk 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).
A SECURE COMPUTER ARCHITECTURE MODEL AND ITS EMULATION | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 4(10).