Formal models and techniques for analyzing security protocols

Author：edited by V歋ronique Cortier and Steve Kremer.
Publisher：IOS Press
ISBN：9781607507147 (electronic bk.) ; 9781607507130
Publication Date：c2011.
其他作者：Cortier, V歋ronique. ; Kremer, Steve.
語言：zh
出版地：Amsterdam ; Washington, DC :
Description

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

Search Same Author