Conference Papers
Year : 2016
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 : Thursday, September 19, 2024-3:06:40 PM
Dates and versions
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⟩
Collections
354
View
0
Download