Информатика, вычислительная техника и управление. Диссертация Спецификация и синтез программного обеспечения защищенных информационных систем на основе расширенных концептуальных моделей : диссертация ... кандидата технических наук : 05.13.11, Санкт-Петербург, 2003