Языковая система

Языковая система — это тип операционной системы , которая использует языковые функции для обеспечения безопасности вместо аппаратных механизмов или в дополнение к ним. В таких системах код, называемый доверенной базой, отвечает за одобрение программ для выполнения , гарантируя, что они не смогут выполнять операции, наносящие ущерб стабильности системы, без предварительного обнаружения и устранения проблем. ^[1] Очень распространенная стратегия, гарантирующая невозможность таких операций, — построить систему на основе языка высокого уровня , такого как Java , конструкция которого исключает опасные конструкции; многие из них полностью написаны на таком языке, при этом лишь минимальное количество низкоуровневого кода . используется ^[2] Поскольку системы на основе языка могут заранее гарантировать, что они не смогут делать вещи, которые могут повредить систему (например, повреждение памяти путем разыменования висячих указателей ), они могут избежать дорогостоящих переключений адресного пространства, необходимых традиционным ОС; из-за этого микроядра более популярны, чем традиционные системы. ^{[ нужна ссылка ]} Более крайней формой этого является компьютерная архитектура на языке высокого уровня , где доверенная база помещается в аппаратное обеспечение, а вся система написана на языке высокого уровня.

Примеры

См. также

Языковая компьютерная архитектура высокого уровня

Ссылки

^ Языковой подход к безопасности , Шнайдер Ф., Морриссетт Г. (Корнелльский университет) и Харпер Р. (Университет Карнеги-Меллон). Информатика: 10 лет назад, 10 лет вперед. (2000)
^ Майкл Голм; Майк Фельзер; Кристиан Вавериш; Юрген Кляйнедер. «JX — гибкая операционная система Java (плакат)» . Университет Эрлангена . Проверено 21 апреля 2007 г.

А. Сабельфельд, А. К. Майерс. Безопасность информационных потоков на основе языка. Журнал IEEE по избранным областям коммуникаций, 2003 г., том 21, выпуск 1, стр. 5–19.
В. Хальдар, Д. Чандра, М. Франц. Семантическая удаленная аттестация — подход, ориентированный на виртуальную машину, к доверенным вычислениям. Симпозиум USENIX по исследованию и технологиям виртуальных машин, 2004 г.
Джакобацци, Мастроени Абстрактное невмешательство: параметризация невмешательства посредством абстрактной интерпретации. Материалы 31-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования, стр. 186–97 (2004).
Альгис Рудис, Дэн С. Уоллах Завершение в языковых системах Транзакции ACM по информационной и системной безопасности (TISSEC), Том 5, выпуск 2 (май 2002 г.), стр. 138–68

Эта операционной системе, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее .

[Schneider-1] Языковой подход к безопасности , Шнайдер Ф., Морриссетт Г. (Корнелльский университет) и Харпер Р. (Университет Карнеги-Меллон). Информатика: 10 лет назад, 10 лет вперед. (2000)

[2] Майкл Голм; Майк Фельзер; Кристиан Вавериш; Юрген Кляйнедер. «JX — гибкая операционная система Java (плакат)» . Университет Эрлангена . Проверено 21 апреля 2007 г.

[1]

[2]