%0 Journal Article %1 journals/aamas/OrgunGL09 %A Orgun, Mehmet A. %A Governatori, Guido %A Liu, Chuchang %D 2009 %J Auton. Agents Multi Agent Syst. %K dblp %N 1 %P 53-75 %T Modal tableaux for verifying stream authentication protocols. %U http://dblp.uni-trier.de/db/journals/aamas/aamas19.html#OrgunGL09 %V 19

@article{journals/aamas/OrgunGL09, added-at = {2020-03-13T00:00:00.000+0100}, author = {Orgun, Mehmet A. and Governatori, Guido and Liu, Chuchang}, biburl = {https://www.bibsonomy.org/bibtex/2a9b75010fb3d4fba5558580b514fc7d2/dblp}, ee = {https://www.wikidata.org/entity/Q58176938}, interhash = {08c9b022d38814cc183ca53caca0cdcc}, intrahash = {a9b75010fb3d4fba5558580b514fc7d2}, journal = {Auton. Agents Multi Agent Syst.}, keywords = {dblp}, number = 1, pages = {53-75}, timestamp = {2020-03-14T11:43:02.000+0100}, title = {Modal tableaux for verifying stream authentication protocols.}, url = {http://dblp.uni-trier.de/db/journals/aamas/aamas19.html#OrgunGL09}, volume = 19, year = 2009 }