Tingyuan Li Xiaodong Liu Zhiguang Qin Xuanfang Zhang Formal Analysis for Security of Otway-Rees Protocol with BAN Logic. 590-593 2009 DBTA https://doi.org/10.1109/DBTA.2009.26 https://doi.ieeecomputersociety.org/10.1109/DBTA.2009.26 conf/dbta/2009 db/conf/dbta/dbta2009.html#LiLQZ09