Tingyuan Li, Xiaodong Liu, Zhiguang Qin, Xuanfang Zhang: Formal Analysis for Security of Otway-Rees Protocol with BAN Logic. DBTA 2009: 590-593