计算机与现代化Issue(5)：86-89,4.
典型安全协议形式化分析工具比较
Comparison Between Representative Formal Analysis Tools on Security Protocols
摘要
关键词
安全协议/逻辑推理/模型检测/定理证明/形式化方法分类
信息技术与安全科学引用本文复制引用
朱宜炳,罗敏..典型安全协议形式化分析工具比较[J].计算机与现代化,2008,(5):86-89,4.基金项目
江西省自然科学基金资助项目(0411041,0611057) （0411041,0611057）
