spi演算证明协议非可否认性  

Formal analysis of non-repudiation protocol by spi

作　　者：李援[1] 蒋建国[1] 王焕宝[2] 

机构地区：[1]合肥工业大学计算机与信息学院,安徽合肥230009 [2]安徽建筑工业学院数理系,安徽合肥230022

出　　处：《通信学报》2009年第5期94-98,共5页Journal on Communications

基　　金：国家自然科学基金资助项目(60474035);国家教育部博士点基金资助项目(20060359004)~~

摘　　要：spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明。通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围。spi calculus, which was based on the theorems of process algebra, was fit for the proof of concurrent protocol execution. Message origination test was put up and the semantics of message sign operation was successfully expressed base on the test, at last, the non-repudiation protocol ZG was proved so as to prove the validity of the method.

关 键 词：SPI演算 非可否认 公平性 消息起源测试 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]