Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
复制标题
安全协议分析的自动推理和安全理论中的问题
DOI：
10.1007/978-3-642-16074-5_11
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Smyth B
中科院分区：
文献类型：
--
作者：
Smyth B
