Ninet, T., Legay, A., Maillard, R., Traonouez, L.-M., Zendra, O., 2019. Model Checking the IKEv2 Protocol Using Spin, in: . IEEE.. https://doi.org/10.1109/pst47121.2019.8949057