Skip to Main content Skip to Navigation
Conference papers

Model Checking the IKEv2 Protocol Using Spin

Tristan Ninet 1, 2 Axel Legay 3 Romaric Maillard 2 Louis-Marie Traonouez 1 Olivier Zendra 1
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 Thales SIX GTS France
3 UCL - Université Catholique de Louvain
Document type :
Conference papers
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 : Friday, July 10, 2020 - 4:01:36 PM
Long-term archiving on: : Friday, January 24, 2020 - 1:20:52 PM

File

Vignette du document
pstsubmitted.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02062292, version 2

Collections

UNIV-RENNES1 | CNRS | INRIA | CHAIRE-CYBERSECURITE | UNIV-RENNES | IRISA | UR1-UFR-ISTIC | CENTRALESUPELEC | INSA-RENNES

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

93

Files downloads

690

 

Contact                    Legal Notice                    Personal Data