Skip to Main content Skip to Navigation
New interface
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
Document type :
Conference papers
Complete list of metadata
https://hal.univ-brest.fr/hal-01519465
Contributor : Laurent Nana Connect in order to contact the contributor
Submitted on : Sunday, May 7, 2017 - 10:29:16 PM
Last modification on : Monday, March 14, 2022 - 11:08:12 AM

Identifiers

  • HAL Id : hal-01519465, version 1

Collections

UNIV-BREST | INSTITUT-TELECOM | CNRS | LAB-STICC_UBO | ENIB | LAB-STICC_ENIB | LAB-STICC | 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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

346