%0 Journal Article %1 journals/iacr/BanaHO07 %A Bana, Gergei %A Hasebe, Koji %A Okada, Mitsuhiro %D 2007 %J IACR Cryptology ePrint Archive %K dblp %P 156 %T Computational Semantics for Basic Protocol Logic - A Stochastic Approach. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2007.html#BanaHO07 %V 2007

@article{journals/iacr/BanaHO07, added-at = {2018-08-14T00:00:00.000+0200}, author = {Bana, Gergei and Hasebe, Koji and Okada, Mitsuhiro}, biburl = {https://www.bibsonomy.org/bibtex/27c1086b0fdcdea47ff579b711f987102/dblp}, ee = {http://eprint.iacr.org/2007/156}, interhash = {8b921d6be80fc7321ab19eca4b350547}, intrahash = {7c1086b0fdcdea47ff579b711f987102}, journal = {IACR Cryptology ePrint Archive}, keywords = {dblp}, pages = 156, timestamp = {2018-08-15T11:59:06.000+0200}, title = {Computational Semantics for Basic Protocol Logic - A Stochastic Approach.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2007.html#BanaHO07}, volume = 2007, year = 2007 }