一种基于进程代数的安全协议验证消解算法

• 作者: 刘万伟 周倜 李梦君 李舟军
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 安全协议 进程代数 消解 保密性 认证性
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 14-16,27
• 页数: 4页
• 分类号: TP309
• 字数: 4638字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2006.07.005

摘要

安全协议本质上是分布式并发程序,可以描述为多个子进程的并发合成系统.将安全协议对应的并发合成系统抽象为一组逻辑规则,能够对安全协议无穷会话的交叠运行进行验证.本文首先给出了将安全协议基于进程代数的形式描述转化成为一组逻辑规则的方法,并提出了基于逻辑规则分类的高效逻辑程序消解算法,对安全协议认证性和保密性进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周倜	国防科技大学计算机学院	8	33	3.0	5.0
2	李梦君	国防科技大学计算机学院	21	193	8.0	13.0
3	刘万伟	国防科技大学计算机学院	10	20	3.0	3.0
4	李舟军	国防科技大学计算机学院	31	594	10.0	24.0