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