Author:
Aparicio-Sánchez Damián,Escobar Santiago,Gutiérrez Raúl,Sapiña Julia
Publisher
Springer International Publishing
Reference33 articles.
1. Maude-NPA manual v3.1.
http://maude.cs.illinois.edu/w/index.php/Maude_Tools:_Maude-NPA
2. The Tamarin-Prover Manual, 4 June 2019.
https://tamarin-prover.github.io/manual/tex/tamarin-manual.pdf
3. Lecture Notes in Computer Science;SS Al-Riyami,2003
4. Baader, F., Snyder, W.: Unification theory. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 447–533. Elsevier Science (2001)
5. Baelde, D., Delaune, S., Gazeau, I., Kremer, S.: Symbolic verification of privacy-type properties for security protocols with XOR. In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, pp. 234–248. IEEE Computer Society (2017)