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

作者：李援; 蒋建国; 王焕宝

来源：通信学报, 2009, 30(05): 94-98.

• spi演算
• 非可否认
• 公平性
• 消息起源测试 spi calculus
• non-repudiation
• fairness
• message origination test

spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明。通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围。

• 单位
  安徽建筑工业学院; 合肥工业大学