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

Formal proof of security algorithms based on reachability reduction

Mohamed Bouziane
  • Function : Author
Sophie Gire
  • Function : Author
  • PersonId : 955226
  • IdHAL : sophie-gire
François Monin
Laurent Tchamnda Nana
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⟩
354 View
0 Download

Share

More