Author:
Zhang Yuqing,Wang Zhiling,Yang Bo
Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Zhang, Y.Q., Li, J.H., Xiao, G.Z.: An approach to the formal verification of the two-party cryptographic protocols. ACM Operating Systems Review 33(4), 48–51 (1999)
2. Zhang, Y.Q., Liu, X.Y.: An approach to the formal verification of the three-principal cryptographic protocols. ACM Operating Systems Review 38(1), 35–42 (2004)
3. Micali, S.: Simple and fast optimistic protocols for fair electronic exchange. In: Proc. of 22th Annual ACM Symp. on Principles of Distributed Computing, pp. 12–19. ACM Press, New York (2003)
4. Pagnia, H., Gartner, C.: On The Impossibility of Fair Exchange without a Trusted Third Party. Technical Report TUD-BS-1999-02, Darmstadt University of Technology (1999)
5. Lecture Notes in Computer Science;F. Bao,2004
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献