Author:
Buldas Ahto,Laud Peeter,Saarepera Märt,Willemson Jan
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Backes, M.: Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universit ät des Saarlandes (2002)
2. Backes, M., Pfitzmann, B.: Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. In: 17th IEEE Computer Security Foundations Workshop, Pacific Grove, CA (June 2004)
3. Lecture Notes in Computer Science;M. Backes,2003
4. Backes, M., Pfitzmann, B., Waidner, M.: A Universally Composable Cryptographic Library. In: Proceedings of the 10th ACM Conference on Computer and Communications Security, October 2003, ACM Press, Washington (2003)
5. Bayer, D., Haber, S., Stornetta, W.-S.: Improving the efficiency and reliability of digital time-stamping. In: Sequences II: Methods in Communication, Security, and Computer Science, pp. 329–334. Springer, New York (1993)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献