Журналы
Разделы книг
Статьи по ключевому слову формальные модели
Анализ преобразования формальных моделей
С. В. Афанасьев - к. ф.-м. н., с. н. с. СПИИРАН, Санкт-Петербург. E-mail: serg@sqlab.spb.su
Разграничение доступа и минимизация ущерба от атак с помощью сильного принципа наименьших привилегий
П.С. Бушмакин - студент, лаборатория вычислительных комплексов, кафедра «Автоматизация систем вычислительных комплексов», факультет ВМК, МГУ им. М.В. Ломоносова. E-mail: imtheno@lvk.cs.msu.su А.В. Сапожников - сотрудник, лаборатория вычислительных комплексов, кафедра «Автоматизация систем вычислительных комплексов», факультет ВМК, МГУ им. М.В. Ломоносова. E-mail: askold@lvk.cs.msu.su Д.Ю. Гамаюнов - к.ф.-м.н., ст. науч. сотр., лаборатория вычислительных комплексов, кафедра «Автоматизация систем вычислительных комплексов», факультет ВМК, МГУ им. М.В. Ломоносова. E-mail: gamajun@lvk.cs.msu.su