Operational Semantics and Verification of Security Protocols
Information Security and Cryptography
Cremers, Cas
Mauw, Sjouke
- 出版社：Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- 出版年月：2014年 11月
- ISBN：9783642430534
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2012
- 巻数・ページ数：174 p.
- DDC分類：005.8