Formal Methods of Assuring Security of Protocols Вид публикации: Journal Article Авторы: Susan Older; Shiu-Kai Chin Источник: The Computer Journal, Volume 45, № 1, p.46-54 (2002)
