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