Author:
Meier Simon,Schmidt Benedikt,Cremers Cas,Basin David
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Computer Science;C.J.F. Cremers,2008
2. Lecture Notes in Computer Science;B. LaMacchia,2007
3. Schmidt, B., Meier, S., Cremers, C., Basin, D.: Automated analysis of Diffie-Hellman protocols and advanced security properties. In: Proc. CSF. IEEE (2012)
4. Meier, S.: Advancing Automated Security Protocol Verification. PhD thesis (2013)
5. Schmidt, B.: Formal Analysis of Key Exchange Protocols and Physical Protocols. PhD thesis (2012)
Cited by
421 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献