| HAL-Inria | Publications, software ... of Inria's scientists |
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
Tristan Ninet 1, 2
Mail :
Author Employer institution : Thales (France)
Axel Legay 3
Mail :
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Romaric Maillard 2
Mail :
Author Employer institution : Thales (France)
Louis-Marie Traonouez 1
Mail :
Author IdHAL : louis-marie-traonouez
Olivier Zendra 1
Mail : Site :
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : olivier-zendra
1
TAMIS - Threat Analysis and Mitigation for Information Security (Campus de Beaulieu 35042 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
2
Thales SIX GTS France (92230 Gennevilliers - France)
3
UCL - Université Catholique de Louvain (Place de l'Université 1 - 1348 Louvain-La-Neuve - Belgium)
Complete list of metadatas
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
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
Collections
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⟩
Metrics
Record views
59
Files downloads