ГлавнаяАрхивМОДЕЛЬ ЗАЩИЩЁННОЙ АРХИТЕКТУРЫ ЭВМ И ЕЁ ВИРТУАЛЬНАЯ РЕАЛИЗАЦИЯ

МОДЕЛЬ ЗАЩИЩЁННОЙ АРХИТЕКТУРЫ ЭВМ И ЕЁ ВИРТУАЛЬНАЯ РЕАЛИЗАЦИЯ | Прикладная дискретная математика. 2010. № 4(10).

Предлагается модель защищённой вычислительной архитектуры со сквозной защитой типов данных и ссылок. Сквозная защита достигается за счёт контроля границ значений типов данных и ссылок и допустимых операций для них. Такой подход делает возможной единообразную защиту ресурсов на всех уровнях: машинных инструкций, прикладных программ, операционной системы. Текущая реализация данной архитектуры произведена через разработку виртуальной машины, работающей поверх существующей операционной системы общего назначения.
  • Title МОДЕЛЬ ЗАЩИЩЁННОЙ АРХИТЕКТУРЫ ЭВМ И ЕЁ ВИРТУАЛЬНАЯ РЕАЛИЗАЦИЯ
  • Headline МОДЕЛЬ ЗАЩИЩЁННОЙ АРХИТЕКТУРЫ ЭВМ И ЕЁ ВИРТУАЛЬНАЯ РЕАЛИЗАЦИЯ
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 4(10)
  • Date:
  • DOI
Ключевые слова
isolation, virtualization, safety, security, computer architecture, software, изоляция ошибок, виртуализация, безопасность, вычислительная архитектура, программное обеспечение
Авторы
Ссылки
<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.
МОДЕЛЬ ЗАЩИЩЁННОЙ АРХИТЕКТУРЫ ЭВМ И ЕЁ ВИРТУАЛЬНАЯ РЕАЛИЗАЦИЯ | Прикладная дискретная математика. 2010. № 4(10).
МОДЕЛЬ ЗАЩИЩЁННОЙ АРХИТЕКТУРЫ ЭВМ И ЕЁ ВИРТУАЛЬНАЯ РЕАЛИЗАЦИЯ | Прикладная дискретная математика. 2010. № 4(10).
Полнотекстовая версия