会议专题

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

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

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

肖岩平 李金汉

信息工程大学电子技术学院总参信息分析中心

国内会议

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

大连

中文

160~166

2000-10-01(万方平台首次上网日期,不代表论文的发表时间)