基于强认证理论的三方网络协议安全性证明
Security Certification of Three-Party Network Protocols Based on Strong Authentication Theory
摘要
关键词
形式化方法/事件逻辑/强认证理论/Neuman-Stubblebine协议Key words
formal method/event logic/strong authentication theory/Neuman-Stubblebine protocol分类
信息技术与安全科学引用本文复制引用
肖美华,刘欣倩,李娅楠,程道雷,梅映天..基于强认证理论的三方网络协议安全性证明[J].计算机科学与探索,2016,10(12):1701-1710,10.基金项目
The National Natural Science Foundation of China under Grant Nos.61163005,61562026(国家自然科学基金) （国家自然科学基金）
the Natural Science Foundation of Jiangxi Province under Grant Nos.20132BAB201033,20161BAB202063(江西省自然科学基金) （江西省自然科学基金）
the Science and Technology International Cooperation Project of Jiangxi Province under Grant No.20151BDH80005(江西省对外科技合作技术项目) （江西省对外科技合作技术项目）
the Soft Science Research Project of Jiangxi Province under Grant No.20151BBA10042(江西省软科学研究计划项目) （江西省软科学研究计划项目）
the Science and Technology Ground Project of College in Jiangxi Province under Grant No.KJLD13038(江西省高校科技落地计划项目) （江西省高校科技落地计划项目）
the Program of Co-Innovation Center of the Intelligent Management and Equipment for Orchard on the Hilly Land in South China (南方山地果园智能化管理与装备协同创新中心资助项目) （南方山地果园智能化管理与装备协同创新中心资助项目）
the Special Funds for Visiting Scholars Development Plan of the Young Teachers in the Ordinary Universities of Jiangxi Province(江西省普通本科高校中青年教师发展计划访问学者专项资金). （江西省普通本科高校中青年教师发展计划访问学者专项资金）
