![](/img/cover-not-exists.png)
[IEEE 2014 IEEE 27th Computer Security Foundations Symposium (CSF) - Vienna (2014.7.19-2014.7.22)] 2014 IEEE 27th Computer Security Foundations Symposium - Decidability for Lightweight Diffie-Hellman Protocols
Dougherty, Daniel J., Guttman, Joshua D.Year:
2014
Language:
english
DOI:
10.1109/CSF.2014.23
File:
PDF, 399 KB
english, 2014