![Formal models and techniques for analyzing security protocols için kapak resmi Formal models and techniques for analyzing security protocols için kapak resmi](/client/assets/d79c3e4af2b6d196/ctx/images/no_image.png)
Formal models and techniques for analyzing security protocols
Başlık:
Formal models and techniques for analyzing security protocols
Yayın Bilgileri:
Washington, D.C. : IOS Press, 2011.
Fiziksel Tanımlama:
vii, 303 p. : ill.
Seri:
Cryptology and information security series, v. 5
Cryptology and information security series ; v. 5.