基于串空间的安全协议形式化分析研究

• 作者: 凌永兴 唐黎 姚萌萌 肖卫东
• 来源期刊: 信息网络安全
• 学科: 工学
• 关键词: 串空间 形式化分析 安全协议 区块链
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: 技术研究
• 页码范围: 30-36
• 页数: 7页
• 分类号: TP309
• 字数: 7051字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-1122.2020.02.005

摘要

安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战.近年来,基于串空间理论的形式化分析方法是一个研究热点,在安全协议分析领域得到了广泛的关注和研究,并取得了一定的成果.文章扩展了串空间理论,提出了匹配串、匹配结点、同一执行丛等概念,并基于扩展的串空间理论形式化分析了基于区块链的公平多方不可否认协议,发现了该协议的不能满足公平性的缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	凌永兴		6	28	2.0	5.0
2	唐黎		6	1	1.0	1.0
3	姚萌萌		6	26	1.0	5.0
4	肖卫东	国防大学联合勤务学院	3	1	1.0	1.0