External Links

Cite Key

Statistics

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

PDF

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.

Typing Messages for Free in Security Protocols: The Case of Equivalence Properties

Rémy Chrétien, Véronique Cortier, Stéphanie Delaune. Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. In Paolo Baldan, Daniele Gorla, editors, CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Volume 8704 of Lecture Notes in Computer Science, pages 372-386, Springer, 2014. [doi]

Authors

Rémy Chrétien

This author has not been identified. Look up 'Rémy Chrétien' in Google

Véronique Cortier

This author has not been identified. Look up 'Véronique Cortier' in Google

Stéphanie Delaune

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