Formal Description Techniques in Data Security: An Evaluation and Comparison | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Колл. автор:

National Physical Lab.

Вид:

Препринт

Год:

1991

Ключевые слова:

стандарт

протоколы

формальный

Стр.:

48 p.

Реферат:

Оценка методов формального описания в за ите данных.

Место издания:

Номер:

DITC 182/91

Карточка:

Б5.14, Б2.53.

Lampard R..

Formal Description Techniques in Data Security: An Evaluation and Comparison-Teddington., 1991.-48 p.-(Препринт National Physical Lab. №DITC 182/91).

Таблица в старой библиотеке:

PREP1 176