The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols.

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Vincent Cheval, Steve Kremer, Itsaka Rakotonirina

Journal title: In Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Journal publisher: Springer

Published year: 2020