摘要
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.
出处
《通信学报》
EI
CSCD
北大核心
2009年第5期94-98,共5页
Journal on Communications
基金
国家自然科学基金资助项目(60474035)
国家教育部博士点基金资助项目(20060359004)~~
