%0 Conference Paper %1 conf/sin/FuK13a %A Fu, Yulong %A Koné, Ousmane %B SIN %D 2013 %E Elçi, Atilla %E Gaur, Manoj Singh %E Orgun, Mehmet A. %E Makarevich, Oleg B. %I ACM %K dblp %P 368-371 %T A finite transition model for security protocol verification. %U http://dblp.uni-trier.de/db/conf/sin/sin2013.html#FuK13a %@ 978-1-4503-2498-4

@inproceedings{conf/sin/FuK13a, added-at = {2018-11-06T00:00:00.000+0100}, author = {Fu, Yulong and Koné, Ousmane}, biburl = {https://www.bibsonomy.org/bibtex/2643d79668907bb8925ecb6b89ed8565d/dblp}, booktitle = {SIN}, crossref = {conf/sin/2013}, editor = {Elçi, Atilla and Gaur, Manoj Singh and Orgun, Mehmet A. and Makarevich, Oleg B.}, ee = {https://doi.org/10.1145/2523514.2523564}, interhash = {137908916d404b904989e1e1a7687ee3}, intrahash = {643d79668907bb8925ecb6b89ed8565d}, isbn = {978-1-4503-2498-4}, keywords = {dblp}, pages = {368-371}, publisher = {ACM}, timestamp = {2018-11-07T16:59:28.000+0100}, title = {A finite transition model for security protocol verification.}, url = {http://dblp.uni-trier.de/db/conf/sin/sin2013.html#FuK13a}, year = 2013 }