Model Checking the IKEv2 Protocol Using Spin - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Dates and versions

hal-02062292 , version 1 (08-03-2019)
hal-02062292 , version 2 (23-10-2019)


  • HAL Id : hal-02062292 , version 2


Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra. Model Checking the IKEv2 Protocol Using Spin. PST 2019 - 17th International Conference on Privacy, Security and Trust, Aug 2019, Fredericton, Canada. pp.1-9. ⟨hal-02062292v2⟩
211 View
878 Download


Gmail Mastodon Facebook X LinkedIn More