%0 Conference Paper %1 conf/medes/BouzianeGMN16 %A Bouziane, Mohamed %A Gire, Sophie %A Monin, François %A Nana, Laurent %B MEDES %D 2016 %E Chbeir, Richard %E Agrawal, Rajeev %E Biskri, Ismaïl %I ACM %K dblp %P 67-72 %T Formal proof of security algorithms based on reachability reduction. %U http://dblp.uni-trier.de/db/conf/medes/medes2016.html#BouzianeGMN16 %@ 978-1-4503-4267-4

@inproceedings{conf/medes/BouzianeGMN16, added-at = {2016-12-16T00:00:00.000+0100}, author = {Bouziane, Mohamed and Gire, Sophie and Monin, François and Nana, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2217123439c9981fcadcb32bfc1964b35/dblp}, booktitle = {MEDES}, crossref = {conf/medes/2016}, editor = {Chbeir, Richard and Agrawal, Rajeev and Biskri, Ismaïl}, ee = {http://dl.acm.org/citation.cfm?id=3012085}, interhash = {71671223bdd00416f64945f920cc9552}, intrahash = {217123439c9981fcadcb32bfc1964b35}, isbn = {978-1-4503-4267-4}, keywords = {dblp}, pages = {67-72}, publisher = {ACM}, timestamp = {2024-04-09T11:52:03.000+0200}, title = {Formal proof of security algorithms based on reachability reduction.}, url = {http://dblp.uni-trier.de/db/conf/medes/medes2016.html#BouzianeGMN16}, year = 2016 }