Formal proof of security algorithms based on reachability reduction - Université de Bretagne Occidentale
Communication Dans Un Congrès Année : 2016

Formal proof of security algorithms based on reachability reduction

Mohamed Bouziane
  • Fonction : Auteur
Sophie Gire
  • Fonction : Auteur
  • PersonId : 955226
  • IdHAL : sophie-gire
Lab-STICC_UBO_CID_SFIIS
François Monin
Lab-STICC_UBO_CID_SFIIS
Laurent Tchamnda Nana
Lab-STICC_UBO_CID_SFIIS
CV

Domaines

Informatique [cs]

Laurent Nana  : Connectez-vous pour contacter le contributeur

https://hal.univ-brest.fr/hal-01519465

Soumis le : dimanche 7 mai 2017-22:29:16

Dernière modification le : jeudi 19 septembre 2024-15:06:40

Fichier non déposé

Dates et versions

hal-01519465 , version 1 (07-05-2017)

Identifiants

  • HAL Id : hal-01519465 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST CNRS LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC IBNM
354 Consultations
0 Téléchargements

Partager

More