厦门大学学报（自然科学版）2008，Vol.47Issue(5)：635-640,6.
一种新的双方不可否认密码协议及其形式化分析
A New Mutually Undeniable Cryptographic Protocol and Its Formal Analysis
桑永宣 1曾吉文1
作者信息
- 1. 厦门大学数学科学学院,福建,厦门,361005
- 折叠
摘要
关键词
不可否认密码协议/可信第三方/SVO逻辑/形式化分析分类
数理科学引用本文复制引用
桑永宣,曾吉文..一种新的双方不可否认密码协议及其形式化分析[J].厦门大学学报（自然科学版）,2008,47(5):635-640,6.
