 |
Conference papers
Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA
Mohamed Kasraoui
1
Adnane Cabani
2
Houcine Chafouk
3
2
Pôle Instrumentation, Informatique et Systèmes
IRSEEM - Institut de Recherche en Systèmes Electroniques Embarqués
Mohamed Kasraoui 1
Author
Adnane Cabani 2
Author IdHAL : adnane-cabani
Houcine Chafouk 3
Author IdHAL : houcine-chafouk
1
DRM - Dauphine Recherches en Management (Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16 - France)
- Université Paris Dauphine-PSL (Place du Maréchal de Lattre de Tassigny
75775 PARIS Cedex 16 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7088 (France)
2
Pôle Instrumentation, Informatique et Systèmes (IRSEEM - Technopôle du Madrillet - Avenue Galilée BP 10024 76801 Saint-Étienne-du-Rouvray Cedex - France)
- IRSEEM - Institut de Recherche en Systèmes Electroniques Embarqués (Technopôle du Madrillet - Avenue Galilée BP 10024 76801 Saint-Étienne-du-Rouvray Cedex - France)
- UNIROUEN - Université de Rouen Normandie : EA 4353 (1, rue Thomas Becket 76821 Mont-Saint-Aignan Cedex - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
- ESIGELEC - École Supérieure d’Ingénieurs en Génie Électrique (Technopôle du Madrillet - Avenue Galilée - BP 10024 - 76801 Saint-Étienne-du-Rouvray Cedex - France)
- UNIROUEN - Université de Rouen Normandie : EA 4353 (1, rue Thomas Becket 76821 Mont-Saint-Aignan Cedex - France)
3
IRSEEM - Institut de Recherche en Systèmes Electroniques Embarqués (Technopôle du Madrillet - Avenue Galilée BP 10024 76801 Saint-Étienne-du-Rouvray Cedex - France)
- UNIROUEN - Université de Rouen Normandie : EA 4353 (1, rue Thomas Becket 76821 Mont-Saint-Aignan Cedex - France)
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France)
- ESIGELEC - École Supérieure d’Ingénieurs en Génie Électrique (Technopôle du Madrillet - Avenue Galilée - BP 10024 - 76801 Saint-Étienne-du-Rouvray Cedex - France)
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal-normandie-univ.archives-ouvertes.fr/hal-02304575
Contributor : Houcine Chafouk <>
Submitted on : Thursday, October 3, 2019 - 1:08:24 PM
Last modification on : Wednesday, September 23, 2020 - 4:30:37 AM
Contributor : Houcine Chafouk <>
Submitted on : Thursday, October 3, 2019 - 1:08:24 PM
Last modification on : Wednesday, September 23, 2020 - 4:30:37 AM
Identifiers
- HAL Id : hal-02304575, version 1
- DOI : 10.1109/IS3C.2014.107
Collections
COMUE-NORMANDIE | DRM | CNRS | ESIGELEC | UNIROUEN | IRSEEM | TDS-MACS | UNIV-DAUPHINE | DRM-DAUPHINE | PSL
Citation
Mohamed Kasraoui, Adnane Cabani, Houcine Chafouk. Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA. 2014 International Symposium on Computer, Consumer and Control (IS3C), Jun 2014, Taichung, Taiwan. pp.387-390, ⟨10.1109/IS3C.2014.107⟩. ⟨hal-02304575⟩
Metrics
Record views
