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