Skip to Main content Skip to Navigation
Conference papers

Model Checking the IKEv2 Protocol Using Spin

Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-02062292
Contributor : Tristan Ninet <>
Submitted on : Wednesday, October 23, 2019 - 4:27:30 PM
Last modification on : Tuesday, February 25, 2020 - 8:08:11 AM
Document(s) archivé(s) le : Friday, January 24, 2020 - 1:20:52 PM

File

pstsubmitted.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02062292, version 2

Citation

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⟩

Share

Metrics

Record views

59

Files downloads

479