 |
|
|
|
|
|
Математические основы информатики и программирования Модель защищённой архитектуры ЭВМ и её виртуальная реализация В. В. Горелов Национальный исследовательский Томский государственный университет, г. Томск, Россия Аннотация: Предлагается модель защищённой вычислительной архитектуры со сквозной защитой типов данных и ссылок. Сквозная защита достигается за счёт контроля границ значений типов данных и ссылок и допустимых операций для них. Такой подход делает возможной единообразную защиту ресурсов на всех уровнях: машинных инструкций, прикладных программ, операционной системы. Текущая реализация данной архитектуры произведена через разработку виртуальной машины, работающей поверх существующей операционной системы общего назначения. Ключевые слова: программное обеспечение, вычислительная архитектура, безопасность, виртуализация, изоляция ошибок.  Полный текст:
PDF файл (571 kB)
Список литературы:
PDF файл
HTML файл
УДК: 681.3 Образец цитирования: В. В. Горелов, “Модель защищённой архитектуры ЭВМ и её виртуальная реализация”, ПДМ, 2010, № 4(10), 
Цитирование в формате AMSBIB
\RBibitem{Gor10}
\by В.~В.~Горелов
\paper Модель защищённой архитектуры ЭВМ и её виртуальная реализация
\jour ПДМ
\yr 2010
\issue 4(10)
\pages 23--32
\mathnet{http://mi.mathnet.ru/pdm251}
Образцы ссылок на эту страницу:
Citing articles on Google Scholar: Russian citations, English citations Related articles on Google Scholar: Russian articles, English articles |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
Обратная связь: |
 Пользовательское соглашение
|
Регистрация |
Логотипы |
|