共 50 条
- [2] An approach to the formal verification of the two-party cryptographic protocols Oper Syst Rev ACM, 4 (48-51):
- [3] Game-theoretic mechanism for cryptographic protocol Peng, C. (sci.cgpeng@gzu.edu.cn), 1600, Science Press (51):
- [4] A Game-Theoretic Model for Analyzing Fair Exchange Protocols PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY, VOL I, 2009, : 509 - 513
- [6] Game-Theoretic Fairness Meets Multi-party Protocols: The Case of Leader Election ADVANCES IN CRYPTOLOGY - CRYPTO 2021, PT II, 2021, 12826 : 3 - 32
- [7] Game-Theoretic Security of Commitment Protocols under a Realistic Cost Model IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, 2016, : 776 - 783
- [8] Implementation of two-party protocols in the noisy-storage model PHYSICAL REVIEW A, 2010, 81 (05):