10.3969/j.issn.1007-130X.2006.07.005
一种基于进程代数的安全协议验证消解算法
安全协议本质上是分布式并发程序,可以描述为多个子进程的并发合成系统.将安全协议对应的并发合成系统抽象为一组逻辑规则,能够对安全协议无穷会话的交叠运行进行验证.本文首先给出了将安全协议基于进程代数的形式描述转化成为一组逻辑规则的方法,并提出了基于逻辑规则分类的高效逻辑程序消解算法,对安全协议认证性和保密性进行验证.
安全协议、进程代数、消解、保密性、认证性
28
TP309(计算技术、计算机技术)
国家自然科学基金90104026,60073001;国家科技攻关项目2002AAl44040
2006-07-07(万方平台首次上网日期,不代表论文的发表时间)
共4页
14-16,27