Model Checking the IKEv2 Protocol Using Spin.

Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra

Browse the full PST paper archive.