基于进程代数安全协议验证的研究综述

被引：22

作者：

李梦君

李舟军

陈火旺

机构：

[1] 国防科学技术大学计算机学院,国防科学技术大学计算机学院,国防科学技术大学计算机学院长沙,长沙,长沙

来源：

计算机研究与发展 | 2004年 / 07期

关键词：

进程代数; 安全协议; 形式化验证; 保密性; 认证性;

D O I：

暂无

中图分类号：

TP393.08 [];

学科分类号：

0839 ; 1402 ;

摘要：

安全协议用于实现开放互联网络的通信安全 ,进程代数是一类使用代数方法研究通信并发系统理论的泛称 ,基于进程代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法描述了基于进程代数的安全协议验证研究的 4种主要方法 :基于踪迹语义的方法 ;基于互模拟验证的方法 ;基于类型理论的方法 ;基于逻辑程序的方法并给出了基于进程代数的安全协议验证进一步的研究方向

引用

页码：1097 / 1103

页数：7