Formal proof of security algorithms based on reachability reduction - Université de Bretagne Occidentale Access content directly
Conference Papers Year : 2016

Formal proof of security algorithms based on reachability reduction

Mohamed Bouziane
  • Function : Author
Sophie Gire
  • Function : Author
  • PersonId : 955226
Lab-STICC_UBO_CID_SFIIS
François Monin
  • Function : Author
  • PersonId : 1007741
Lab-STICC_UBO_CID_SFIIS
Laurent Tchamnda Nana
Lab-STICC_UBO_CID_SFIIS
CV

Domains

Computer Science [cs]

Laurent Nana  : Connect in order to contact the contributor

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

Submitted on : Sunday, May 7, 2017-10:29:16 PM

Last modification on : Friday, March 24, 2023-2:53:04 PM

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01519465 , version 1

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM CNRS LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC IBNM
346 View
0 Download

Share

Gmail Facebook X LinkedIn More