![](/img/cover-not-exists.png)
[IEEE 2018 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2018.5.20-2018.5.24)] 2018 IEEE Symposium on Security and Privacy (SP) - DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
Cheval, Vincent, Kremer, Steve, Rakotonirina, ItsakaYear:
2018
Language:
english
DOI:
10.1109/sp.2018.00033
File:
PDF, 385 KB
english, 2018