|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
| 1. |
S. E. Prokopev, “Cryptographic stack machine notation one”, Труды ИСП РАН, 30:3 (2018), 165–182   |
|
2010 |
| 2. |
С. Е. Прокопьев, “О возможности использования временных логик и верификаторов моделей в задаче обнаружения опасных отклонений системы”, ПДМ, 2010, № 1(7), 37–42 |
|
|
|
2009 |
| 3. |
С. Е. Прокопьев, “Поиск упрощенной модели протоколов инфраструктуры цифровой подписи с использованием верификаторов моделей”, ПДМ, 2009, № 1(3), 79–92 |
|
