![](/img/cover-not-exists.png)
[IEEE 2019 17th International Conference on Privacy, Security and Trust (PST) - Fredericton, NB, Canada (2019.8.26-2019.8.28)] 2019 17th International Conference on Privacy, Security and Trust (PST) - Model Checking the IKEv2 Protocol Using Spin
Ninet, Tristan, Legay, Axel, Maillard, Romaric, Traonouez, Louis-Marie, Zendra, OlivierYear:
2019
Language:
english
DOI:
10.1109/pst47121.2019.8949057
File:
PDF, 144 KB
english, 2019