Open AccessModel Checking the IKEv2 Protocol Using Spin
Author(s) -
Tristan Ninet,
Axel Legay,
Romaric Maillard,
Louis-Marie Traonouez,
Olivier Zendra
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - model checking , computer science , protocol (science) , cryptographic protocol , computer network , cryptography , computer security , theoretical computer science , medicine , alternative medicine , pathology