 |
Conference papers
Formal proof of security algorithms based on reachability reduction
Mohamed Bouziane
Sophie Gire
1
François Monin
1
Laurent Tchamnda Nana
1
1
Lab-STICC_UBO_CID_SFIIS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Mohamed Bouziane
Author
Sophie Gire 1
Author
François Monin 1
Author
Laurent Tchamnda Nana 1
Author IdHAL : laurent-nana ORCID : https://orcid.org/0000-0002-8555-9457
1
Lab-STICC_UBO_CID_SFIIS (France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- UEB - Université européenne de Bretagne - European University of Brittany (5 boulevard Laënnec - 35000 Rennes - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal.univ-brest.fr/hal-01519465
Contributor : Laurent Nana <>
Submitted on : Sunday, May 7, 2017 - 10:29:16 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:25 PM
Contributor : Laurent Nana <>
Submitted on : Sunday, May 7, 2017 - 10:29:16 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:25 PM
Identifiers
- HAL Id : hal-01519465, version 1
Collections
UNIV-BREST | CNRS | INSTITUT-TELECOM | ENIB | LAB-STICC_ENIB | LAB-STICC | LAB-STICC_UBO | IBNM
Citation
Mohamed Bouziane, Sophie Gire, François Monin, Laurent Tchamnda Nana. Formal proof of security algorithms based on reachability reduction. Proceedings of the 8th International ACM Conference on Management of Digital EcoSystems, MEDES 2016, Nov 2016, Biarritz, France. pp. 67-72. ⟨hal-01519465⟩
Metrics
Record views