Open AccessModel Checking the IKEv2 Protocol Using Spin
Author(s) -
Tristan Ninet,
Axel Legay,
Romaric Maillard,
LouisMarie 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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom