A Non-Repudiation E-Mail Transmission Protocol and its Formal Analysis

Ze Ming Ren; Ling Yun Xu; Qian Liu; An Dong Fan

doi:10.4028/www.scientific.net/AMM.462-463.984

Paper Titles

Power Enterprise Performance Management Information System Development and Research
p.964

Using Different Term Weighting Schemes of Centroid-Based Classifiers to Classify Drug Monographs
p.968

The Financial Management System Based on Android and SQLite
p.974

Based on the Experimental Platform of Litchi Picking Vision Calibration
p.978

A Non-Repudiation E-Mail Transmission Protocol and its Formal Analysis
p.984

Assisting People with Multiple Disabilities to Improve Computer Typing Efficiency through a Mouse Wheel and On-Screen Keyboard Software
p.989

Anaglyph 3D Display Based on a Computational Stereo System
p.993

Improved Congestion Control Algorithm in Wide Bandwidth and Long Delay Network
p.997

Design of ECG Acquisition System Based on Matlab
p.1001

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 462-463A Non-Repudiation E-Mail Transmission Protocol and...

A Non-Repudiation E-Mail Transmission Protocol and its Formal Analysis

Abstract:

In order to reduce the amount of data exchange in E-mail transmission process, a non-repudiation E-mail transmission protocol was proposed based on the digital signature technology. By using the formal analysis based on the extended strand space method, strict authentication and analysis were conducted for the security of data transmission and the identity of both the transmitter and receiver. Furthermore, the safety and effectiveness of this protocol were verified.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 462-463)

Pages:

984-988

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.462-463.984

Citation:

Cite this paper

Online since:

November 2013

Authors:

Ze Ming Ren, Ling Yun Xu, Qian Liu, An Dong Fan*

Keywords:

Digital Signature, Formal Analysis, Ideal and Honest, Strand Space Model

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] D. Dolev, A. Yao: Technical Report ( No. STAN-CS-81-854, Dept. of Computer Science, Stanford University, May, 1981).

Google Scholar

[2] Jiafen Liu, in: Research on Authentication Test Theory in Formal Analysis of Security Protocols (University of Electronic Science and Technology of China, Chengdu, 2008).

Google Scholar

[3] Thayer F, Herzog J, Guttmann J, in: Proceedings of the 1998 IEEE Symposium on Security and Privacy, (1998), pp.160-171.

Google Scholar

[4] Thayer F, Herzog J, Guttmann J, in: Proceedings of the 11th IEEE computer security Foundations Workshop (IEEE Computer Society Press, June 1998).

Google Scholar

[5] Joshua D, Guttmann J, Thayer F, in: Proceedings of the 2000 IEEE Symposium on Security and Privacy (IEEE Computer Society Press, 2000, pp.96-109).

Google Scholar

[6] Even S, Goldreich O, Lempel A: Communications of the ACM, Vol. 28(1985), pp.637-647 (In Chinese).

Google Scholar

[7] Sihan Qing: Journal of Software, Vol. 11(2000), pp.1338-1343 (In Chinese).

Google Scholar

[8] Yong-quan Cai, Zhu Yong: Research of Computer Application, Vol. 24(2007), pp.222-245 (In Chinese).

Google Scholar