Formal Methods of Assuring Security of Protocols

Вид публикации:

Journal Article

Авторы:

Susan Older; Shiu-Kai Chin

Источник:

The Computer Journal, Volume 45, № 1, p.46-54 (2002)
Share/Save