Прокопьев Сергей Евгеньевич

Публикации в базе данных Math-Net.Ru

1. Cryptographic stack machine notation one
   
   Труды ИСП РАН, 30:3 (2018),  165–182
2. О возможности использования временных логик и верификаторов моделей в задаче обнаружения опасных отклонений системы
   
   ПДМ, 2010, № 1(7),  37–42


3. Поиск упрощенной модели протоколов инфраструктуры цифровой подписи с использованием верификаторов моделей
   
   ПДМ, 2009, № 1(3),  79–92