Model Checking the IKEv2 Protocol Using Spin - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Model Checking the IKEv2 Protocol Using Spin

(1, 2) , (3) , (2) , (1) , (1)
1
2
3
Fichier principal
Vignette du fichier
pstsubmitted.pdf (225 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02062292 , version 2

Cite

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⟩
184 View
707 Download

Share

Gmail Facebook Twitter LinkedIn More