%0 Journal Article %1 journals/istr/FuK15 %A Fu, Yulong %A Koné, Ousmane %D 2015 %J J. Inf. Secur. Appl. %K dblp %P 17-27 %T Model based security verification of protocol implementation. %U http://dblp.uni-trier.de/db/journals/istr/istr22.html#FuK15 %V 22

@article{journals/istr/FuK15, added-at = {2020-03-04T00:00:00.000+0100}, author = {Fu, Yulong and Koné, Ousmane}, biburl = {https://www.bibsonomy.org/bibtex/2c362db35f1bdaa86c608952c122e31e5/dblp}, ee = {https://doi.org/10.1016/j.jisa.2014.08.002}, interhash = {098b1f5cc1b238c8e737689b48032889}, intrahash = {c362db35f1bdaa86c608952c122e31e5}, journal = {J. Inf. Secur. Appl.}, keywords = {dblp}, pages = {17-27}, timestamp = {2020-03-05T11:37:52.000+0100}, title = {Model based security verification of protocol implementation.}, url = {http://dblp.uni-trier.de/db/journals/istr/istr22.html#FuK15}, volume = 22, year = 2015 }