 |
Communication dans un congrès
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
Auteur
Adnane Cabani 2
Mail :
Auteur IdHAL : adnane-cabani
Houcine Chafouk 3
Mail :
Auteur IdHAL : houcine-chafouk
1
DRM - Dauphine Recherches en Management (Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7088 (France)
- Université Paris Dauphine-PSL (Place du Maréchal de Lattre de Tassigny 75775 PARIS Cedex 16 - 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)
Liste complète des métadonnées
https://hal-normandie-univ.archives-ouvertes.fr/hal-02304575
Contributeur : Houcine Chafouk <>
Soumis le : jeudi 3 octobre 2019 - 13:08:24
Dernière modification le : jeudi 14 mai 2020 - 12:21:01
Contributeur : Houcine Chafouk <>
Soumis le : jeudi 3 octobre 2019 - 13:08:24
Dernière modification le : jeudi 14 mai 2020 - 12:21:01
Identifiants
- HAL Id : hal-02304575, version 1
- DOI : 10.1109/IS3C.2014.107
Collections
COMUE-NORMANDIE | DRM | CNRS | ESIGELEC | UNIROUEN | PSL | IRSEEM | TDS-MACS | UNIV-DAUPHINE | DRM-DAUPHINE
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, China. pp.387-390, ⟨10.1109/IS3C.2014.107⟩. ⟨hal-02304575⟩
Métriques
Consultations de la notice
