Formal analysis of non-repudiation protocol by spi

被引：0
|
作者：
Li, Yuan [1 ]
Jiang, Jian-Guo [1 ]
Wang, Huan-Bao [2 ]
机构：
[1] College of Computer and Information, Hefei University of Technology, Hefei 230009, China
[2] Department of Mathematics and Physics, Anhui Institute of Architecture Industry, Hefei 230022, China
来源：
Tongxin Xuebao/Journal on Communications | 2009年 / 30卷 / 05期
关键词：
Calculations;
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：94 / 98
相关论文
共 50 条
  • [1] Formal analysis of a non-repudiation protocol
    Schneider, S
    11TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP - PROCEEDINGS, 1998, : 54 - 65
  • [2] Fair non-repudiation protocol and its formal analysis
    Liu, Jing
    Zhou, Ming-Tian
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2003, 31 (09): : 1422 - 1425
  • [3] A formal analysis of CORBA non-repudiation
    Zheng, H
    Song, GX
    International Conference on Computing, Communications and Control Technologies, Vol 6, Post-Conference Issue, Proceedings, 2004, : 401 - 405
  • [4] Automatic Analysis of a Non-Repudiation Protocol
    Lanotte, Ruggero
    Maggiolo-Schettini, Andrea
    Troina, Angelo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 112 : 113 - 129
  • [5] Non-repudiation protocol for E-mail and its formal analysis
    Peng, Hongyan
    Li, Xiaojian
    Xia, Chunhe
    Deng, Jianfeng
    Zhou, Xiaofa
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2006, 43 (11): : 1914 - 1919
  • [6] Formal Analysis and Improvement of Multi-party Non-repudiation Protocol
    Wang, Xueming
    2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 4120 - 4123
  • [7] Fair non-repudiation cryptographic protocol and its formal analysis and applications
    Lin, X.X. (lixx@cscw.buaa.edu.cn), 1628, Chinese Academy of Sciences (11):
  • [8] A formal analysis of fairness and non-repudiation in the RSA-CEGD protocol
    Alcaide, A
    Estévez-Tapiador, JM
    Izquierdo, A
    Sierra, JM
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, VOL 4, PROCEEDINGS, 2005, 3483 : 1309 - 1318
  • [9] Optimistic non-repudiation protocol analysis
    Santiago, Judson
    Vigneron, Laurent
    INFORMATION SECURITY THEORY AND PRACTICES: SMART CARDS, MOBILE AND UBIQUITOUS COMPUTING SYSTEMS, PROCEEDINGS, 2007, 4462 : 90 - +
  • [10] A Non-repudiation E-mail Transmission Protocol and Its Formal Analysis
    Ren, Zeming
    Xu, Lingyun
    Liu, Qian
    Fan, Andong
    PROGRESS IN MECHATRONICS AND INFORMATION TECHNOLOGY, PTS 1 AND 2, 2014, 462-463 : 984 - 988
12345