Hajime Watanabe et al.: "An Improved Method for Formal Verification of Cryptographic Protocols" IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences(to appear). (1996)
Hajime Watanabe et al.: "An Improved Method for Formal Verification of Cryptographic Protocols" IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences(to appear). (1996)
复制标题
Hajime Watanabe 等人：“密码协议形式化验证的改进方法”IEICE Transactions on Fundamentals of Electronics、Communications and Computer Sciences（待发表）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
