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
Type de document :
Communication dans un congrès
Proceedings of the 8th International ACM Conference on Management of Digital EcoSystems, MEDES 2016, Nov 2016, Biarritz, France. pp. 67-72, 〈http://medes.sigappfr.org/16/〉
Liste complète des métadonnées

http://hal.univ-brest.fr/hal-01519465
Contributeur : Laurent Nana <>
Soumis le : dimanche 7 mai 2017 - 22:29:16
Dernière modification le : mardi 16 janvier 2018 - 15:54:25

Identifiants

  • HAL Id : hal-01519465, version 1

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, 〈http://medes.sigappfr.org/16/〉. 〈hal-01519465〉

Partager

Métriques

Consultations de la notice

156