计算机工程与应用2003，Vol.39Issue(30)：182-185,4.
一种分析密码协议的新逻辑
A New Logic for the Analysis of Cryptographic Protocols
摘要
关键词
密码协议 形式化逻辑语言 SET协议 可追究性分类
信息技术与安全科学引用本文复制引用
何成,王尚平,王晓峰..一种分析密码协议的新逻辑[J].计算机工程与应用,2003,39(30):182-185,4.基金项目
陕西省教育厅自然科学研究计划资助项目(编号:00JK266) （编号:00JK266）
