文件名称：基于进程代数安全协议验证的研究综述
文件大小：2.85MB
文件格式：PDF
更新时间：2013-01-30 12:38:16
进程代数
安全协议用于实现开放互联网络的通信安全， 进程代数是一类使用代数方法研究通信并发系统理论的 代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法 9描述了基于进 议验证研究的!种主要方法： 基于踪迹语义的方法； 基于互模拟验证的方法； 基于类型理论的方法； 基于 并给出了基于进程代数的安全协议验证进一步的研究方向
基于进程代数安全协议验证的研究综述
【文件属性】：