External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Computing Knowledge in Security Protocols under Convergent Equational Theories

Stefan Ciobâca, Stéphanie Delaune, Steve Kremer. Computing Knowledge in Security Protocols under Convergent Equational Theories. In Renate A. Schmidt, editor, Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Volume 5663 of Lecture Notes in Computer Science, pages 355-370, Springer, 2009. [doi]

Authors

Stefan Ciobâca

This author has not been identified. Look up 'Stefan Ciobâca' in Google

Stéphanie Delaune

This author has not been identified. Look up 'Stéphanie Delaune' in Google

Steve Kremer

This author has not been identified. Look up 'Steve Kremer' in Google
runs on