Разработанные в России универсальные микропроцессоры с архитектурой «Эльбрус» обеспечивают эффективные средства защищенного исполнения программ на базе аппаратных тегов и контекстной межмодульной защиты данных.
Разработанные в России универсальные микропроцессоры с архитектурой «Эльбрус» обеспечивают эффективные средства защищенного исполнения программ на базе аппаратных тегов и контекстной межмодульной защиты данных. На основе анализа семантики программирования C и C++, средствами которых можно нарушить их модульную и объектную защищенность, показано, что для обеспечения безопасной и при этом эффективной реализации необходима определенная поддержка со стороны аппаратуры, операционной системы и систем языкового программирования – компиляторов, редакторов связи, отладчиков. Предлагаемая реализация обеспечивает полную и эффективную модульную защиту и может служить основой для защиты от компьютерных вирусов. Перенос реальных программ в среду защищенного исполнения демонстрирует ее эффективность при обнаружении скрытых и опасных ошибок исполнения.
Подробнее... Загрузить файл
Содержание:
1. Введение
2. Семантические основы защищенного исполнения программ
2.1. Модули, интерфейсы и контекст
2.2. Контекстная защита
3. Реализация защищенного исполнения программ
3.1. Аппаратная поддержка
3.2. Поддержка в операционной системе
3.3. Поддержка в компиляторе и редакторе связей
4. Результаты переноса программ в среду защищенного исполнения
5. Заключение
Литература