%0 Conference Paper %1 conf/dbta/LiLQZ09 %A Li, Tingyuan %A Liu, Xiaodong %A Qin, Zhiguang %A Zhang, Xuanfang %B DBTA %D 2009 %I IEEE Computer Society %K dblp %P 590-593 %T Formal Analysis for Security of Otway-Rees Protocol with BAN Logic. %U http://dblp.uni-trier.de/db/conf/dbta/dbta2009.html#LiLQZ09 %@ 978-0-7695-3604-0

@inproceedings{conf/dbta/LiLQZ09, added-at = {2014-11-19T00:00:00.000+0100}, author = {Li, Tingyuan and Liu, Xiaodong and Qin, Zhiguang and Zhang, Xuanfang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/260d9e510644a6be0c1a7e3c7d2962aea/dblp}, booktitle = {DBTA}, crossref = {conf/dbta/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/DBTA.2009.26}, interhash = {ab9c93ad8438782492e0ef226ec102c1}, intrahash = {60d9e510644a6be0c1a7e3c7d2962aea}, isbn = {978-0-7695-3604-0}, keywords = {dblp}, pages = {590-593}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T11:15:38.000+0100}, title = {Formal Analysis for Security of Otway-Rees Protocol with BAN Logic.}, url = {http://dblp.uni-trier.de/db/conf/dbta/dbta2009.html#LiLQZ09}, year = 2009 }