Security Analysis of (Un-) Fair Non-repudiation Protocols-Reference-Cited by-同舟云学术

Security Analysis of (Un-) Fair Non-repudiation Protocols

Published:2003 Issue: Volume: Page:97-114
ISSN:0302-9743
Container-title:Formal Aspects of Security
language:
Short-container-title:

Author:

Gürgens Sigrid,Rudolph Carsten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40981-6_10

Reference19 articles.

1. Lecture Notes in Computer Science;G. Bella,2001

2. Gürgens, S., Ochsenschläger, P., Rudolph, C.: Role based specification and security analysis of cryptographic protocols using asynchronous product automata. GMD Report 151, GMD – Forschungszentrum Informationstechnik GmbH (2001)

3. Lecture Notes in Computer Science;S. Gürgens,2002

4. Gürgens, S., Ochsenschläger, P., Rudolph, C.: Role based specification and security analysis of cryptographic protocols using asynchronous product automata. In: DEXA 2002 International Workshop on Trust and Privacy in Digital Business, IEEE, Los Alamitos (2002)

5. Kim, K., Park, S., Baek, J.: Improving fairness and privacy of zhou-gollmann’s fair non-repudiation protocol. In: Proceedings of 1999 ICPP Workshop on Security, pp. 140–145 (1999)

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

1. Two-phase Nonrepudiation Protocols;Proceedings of the 7th International Conference on Computing Communication and Networking Technologies;2016-07-06

2. Security patterns modeling and formalization for pattern-based development of secure software systems;Innovations in Systems and Software Engineering;2015-10-08

3. Design and formal verification of a CEM protocol with transparent TTP;Frontiers of Computer Science;2013-03-14

4. Fair Exchange;Chapman & Hall/CRC Cryptography and Network Security Series;2010-08-02

5. Verification of S&D Solutions for Network Communications and Devices;Security and Dependability for Ambient Intelligence;2009