Design and formal analysis of certified E-mail protocol. (Chinese)
J. Comput. Appl. 28, No. 8, 1928-1930 (2008).
1
Formal correctness of security protocols. (English)
Information Security and Cryptography. Texts and Monographs. Berlin: Springer (ISBN 978-3-540-68134-2/hbk). xix, 274~p. EUR~59.95/net; SFR~98.50; \sterling~46.00; \$~79.95 (2007).
2
Efficient identity-based protocol for fair certified e-mail delivery. (English)
Desmedt, Yvo G. (ed.) et al., Cryptology and network security. 4th international conference, CANS 2005, Xiamen, China, December 14‒16, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30849-0/pbk). Lecture Notes in Computer Science 3810, 200-210 (2005).
3
Start
Contact
Print
General Help
