Model Checking the IKEv2 Protocol Using Spin

Computer Science [cs] Cryptography and Security [cs.CR] Computer Science [cs] Symbolic Computation [cs.SC] Computer Science [cs] Networking and Internet Architecture [cs.NI]

Fichier principal

pstsubmitted.pdf (225 Ko)

Origin : Files produced by the author(s)

Tristan Ninet : Connect in order to contact the contributor

https://hal.inria.fr/hal-02062292

Submitted on : Wednesday, October 23, 2019-4:27:30 PM

Last modification on : Thursday, January 26, 2023-4:03:36 AM

Long-term archiving on: Friday, January 24, 2020-1:20:52 PM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC CHAIRE-CYBERSECURITE UNIV-RENNES UR1-MATH-NUM

184 View

707 Download