Model Checking the IKEv2 Protocol Using Spin - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Model Checking the IKEv2 Protocol Using Spin

Domaines

Cryptographie et sécurité [cs.CR] Calcul formel [cs.SC] Réseaux et télécommunications [cs.NI]
Fichier principal
Vignette du fichier
pstsubmitted.pdf (225 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Tristan Ninet  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 23 octobre 2019-16:27:30

Dernière modification le : vendredi 24 mars 2023-14:53:12

Archivage à long terme le : vendredi 24 janvier 2020-13:20:52

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-02062292 , version 2

Citer

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⟩

Exporter

BibTeX XML-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
206 Consultations
826 Téléchargements

Partager

Gmail Facebook X LinkedIn More