安全协议模型检查的状态简化

摘要：

该文就安全协议模型检查分析方法中的状态爆炸问题进行了讨论，在分析了安全协议的运行特征以及入侵者获取知识和运用知识的基础上，总结了五种状态简化的技术。

关键词： 安全协议 模型检查 状态转移 形式化验证

作者: 肖岩平 李金汉

作者单位: 信息工程大学电子技术学院总参信息分析中心

会议类型: 国内会议

会议名称: 中国计算机学会信息保密专业委员会学术会议

会议地点: 大连

会议语种:中文

页码: 160～166

在线出版日期: 2000-10-01（万方平台首次上网日期，不代表论文的发表时间）