Полное описание
> Pang, J. Analysis of a security protocol in uCRL / J. Pang. - Amsterdam : [s. n.], 2002. - 26 p. : ill. - (Report:Software engineering / CWI ; SEN-R0201). - Текст : непосредственный.
Библиогр.:с. 15-17
ГРНТИ | УДК | |
50.37.23 | 004.738.5.057.4 | |
004.056 |
Рубрики:
Интернет -- Протоколы
Информация -- Сохранность
Доп. точки доступа:
Centrum voor wiskunde en informatica (Amsterdam)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R0201)>
Шифр в сводном ЭК: ba023647cf2c62a06aa90c30fbb89b0e
Заказ фрагмента документа ₽