Formal models and techniques for analyzing security protocols

作者：edited by V歋ronique Cortier and Steve Kremer.
出版社：IOS Press
ISBN：9781607507147 (electronic bk.) ; 9781607507130
出版日期：c2011.
其他作者：Cortier, V歋ronique. ; Kremer, Steve.
語言：zh
出版地：Amsterdam ; Washington, DC :
內容簡介

vii, 303 p. ::ill. ;:25 cm.

搜尋同作者