计算机工程与应用2006，Vol.42Issue(34)：109-111,3.
一种改进的A(0)协议及其形式化分析
Improved A(0) Protocol and it's Formal Analysis
摘要
关键词
安全协议/认证协议SVO逻辑/形式化分析分类
信息技术与安全科学引用本文复制引用
蔡永泉,朱勇..一种改进的A(0)协议及其形式化分析[J].计算机工程与应用,2006,42(34):109-111,3.基金项目
国家863高技术研究发展计划资助项目(2005AA147000) （2005AA147000）
北京教委科技发展计划面上项目(KM200610005001). （KM200610005001）
