文件名称:基于进程演算的安全协议形式化研究
文件大小:523KB
文件格式:PDF
更新时间:2012-12-09 10:46:56
进程演算 形式化
国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法,基于定理证明的方法和基于进程演算的方法三种。其中,进程演算对于协议的描述几乎接近协议的本身含义,可以很精确地刻划协议的运行过程。使用进程演算对安全协议分析和验证时,协议的每一个主体都被建模为一个单独的进程,这些子进程并发运行,并使用进程之间的共享通道进行同步通信,这样得到的并发系统将作为安全协议的基本模型。