| Mechanical Proofs about BW Multi-Party Contract Signing Protocol |
| |
| 作者姓名： | ZHANG Ningrong ZHANG Xingyuan WANG Yuanyuan |
| |
| 作者单位： | Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, Jiangsu, China |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China （60373068） |
| |
| 摘 要： |
|
| 关 键 词： | 形式验证 通信协议 TTP MOCHA |
| 文章编号： | 1007-1202（2006）06-1516-05 |
| 收稿时间： | 2006-05-20 |
Mechanical proofs about BW multi-party contract signing protocol |
| |
| ZHANG Ningrong ZHANG Xingyuan WANG Yuanyuan.Mechanical Proofs about BW Multi-Party Contract Signing Protocol[J].Wuhan University Journal of Natural Sciences,2006,11(6):1516-1520. |
| |
| Authors: | Zhang Ningrong Zhang Xingyuan Wang Yuanyuan |
| |
| Institution: | (1) Institute of Command Automation, PLA University of Science and Technology, 210007 Nanjing, Jiangsu, China |
| |
| Abstract: | |
| |
| Keywords: | formal verification multi-party contract signing protocol inductive approach model |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
