%0 Journal Article %1 journals/jcnc/HoumaniM12 %A Houmani, Hanane %A Mejri, Mohamed %D 2012 %J J. Comput. Networks Commun. %K dblp %P 254942:1-254942:18 %T Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method. %U http://dblp.uni-trier.de/db/journals/jcnc/jcnc2012.html#HoumaniM12 %V 2012

@article{journals/jcnc/HoumaniM12, added-at = {2020-09-02T00:00:00.000+0200}, author = {Houmani, Hanane and Mejri, Mohamed}, biburl = {https://www.bibsonomy.org/bibtex/23d34d6e30b7635f41c3f7e14177d64d6/dblp}, ee = {https://www.wikidata.org/entity/Q58907655}, interhash = {d1b2512e7219210545d5d2f78114777d}, intrahash = {3d34d6e30b7635f41c3f7e14177d64d6}, journal = {J. Comput. Networks Commun.}, keywords = {dblp}, pages = {254942:1-254942:18}, timestamp = {2020-09-09T12:15:15.000+0200}, title = {Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method.}, url = {http://dblp.uni-trier.de/db/journals/jcnc/jcnc2012.html#HoumaniM12}, volume = 2012, year = 2012 }