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

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