Title
Non-repudiation protocol for E-mail and its formal analysis
Abstract
There are different goals in a non-repudiation protocol to be considered for different application. However, there are some goals to be considered in a non-repudiation protocol for E-mail: non-repudiation of both parties; fairness to both message sender and message receiver with respective to their control over the completion of a transaction; the degree of trust on a third party; keeping E-mail confidentiality; and decreasing the number of interaction. In this paper, a new non-repudiation protocol for E-mail is proposed for resolving the existent problems: unfairness, confidentiality not well protected, and many numbers of interaction by using formal analysis, and the new protocol is proven to be able to provide non-repudiation of sender and receiver, fairness and validity of evidence.
Year
DOI
Venue
2006
null
Jisuanji Yanjiu yu Fazhan/Computer Research and Development
Keywords
Field
DocType
Formal analysis,Non-repudiation,SVO logic,Trusted third party
Computer security,Computer science,Non-repudiation,Distributed computing
Journal
Volume
Issue
ISSN
43
11
null
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Hongyan Peng100.34
Xiao-jian Li200.68
Chunhe Xia36318.30
JianFeng Deng410.82
XiaoFa Zhou500.34