Automated analysis of equivalence properties for security protocols using else branches

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: Gazeau , Ivan; Kremer , Steve

Journal title: 22nd European Symposium on Research in Computer Security (ESORICS'17), 2017, Oslo, Norway. Springer, 2017

Journal number: 14

Journal publisher: Springer

Published year: 2017