|
Прикладная дискретная математика, 2010, номер 4(10), страницы 23–32
(Mi pdm251)
|
|
|
|
Математические основы информатики и программирования
Модель защищённой архитектуры ЭВМ и её виртуальная реализация
В. В. Горелов Национальный исследовательский Томский государственный университет, г. Томск, Россия
Аннотация:
Предлагается модель защищённой вычислительной архитектуры со сквозной защитой типов данных и ссылок. Сквозная защита достигается за счёт контроля границ значений типов данных и ссылок и допустимых операций для них. Такой подход делает возможной единообразную защиту ресурсов на всех уровнях: машинных инструкций, прикладных программ, операционной системы. Текущая реализация данной архитектуры произведена через разработку виртуальной машины, работающей поверх существующей операционной системы общего назначения.
Ключевые слова:
программное обеспечение, вычислительная архитектура, безопасность, виртуализация, изоляция ошибок.
Образец цитирования:
В. В. Горелов, “Модель защищённой архитектуры ЭВМ и её виртуальная реализация”, ПДМ, 2010, № 4(10), 23–32
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm251 https://www.mathnet.ru/rus/pdm/y2010/i4/p23
|
Статистика просмотров: |
Страница аннотации: | 333 | PDF полного текста: | 110 | Список литературы: | 40 | Первая страница: | 1 |
|