Deciding Epistemic and Strategic Properties of Cryptographic Protocols-Reference-Cited by-同舟云学术

Deciding Epistemic and Strategic Properties of Cryptographic Protocols

Published:2012 Issue: Volume: Page:91-108
ISSN:0302-9743
Container-title:Computer Security – ESORICS 2012
language:
Short-container-title:

Author:

Schnoor Henning

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-33167-1_6

Reference30 articles.

1. Dolev, D., Yao, A.C.C.: On the security of public key protocols. IEEE Transactions on Information Theory 29(2), 198–207 (1983)

2. Rusinowitch, M., Turuani, M.: Protocol insecurity with a finite number of sessions, composed keys is NP-complete. Theoretical Computer Science 1-3(299), 451–475 (2003)

3. Kremer, S., Raskin, J.F.: Game analysis of abuse-free contract signing. In: CSFW, p. 206. IEEE Computer Society (2002)

4. Ben-Or, M., Goldreich, O., Micali, S., Rivest, R.L.: A fair protocol for signing contracts. IEEE Transactions on Information Theory 36(1), 40–46 (1990)

5. Asokan, N., Shoup, V., Waidner, M.: Asynchronous protocols for optimistic fair exchange. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, pp. 86–99. IEEE Computer Society Press (1998)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Formal Approach to Coercion Resistance and Its Application to E-Voting;Mathematics;2022-02-28

2. Natural strategic ability;Artificial Intelligence;2019-12

3. Modal independence logic:;Journal of Logic and Computation;2016-06-28

4. Epistemic and Probabilistic ATL with Quantification and Explicit Strategies;Communications in Computer and Information Science;2014

5. Deciding Epistemic and Strategic Properties of Cryptographic Protocols;Computer Security – ESORICS 2012;2012