Персоналии: Прокопьев Сергей Евгеньевич

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

E-mail:

	Публикации в базе данных 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

Обратная связь: