Tingyuan Li, Xiaodong Liu, Zhiguang Qin, Xuanfang Zhang. Formal Analysis for Security of Otway-Rees Protocol with BAN Logic. In First International Workshop on Database Technology and Applications, DBTA 2009, Wuhan, Hubei, China, April 25-26, 2009, Proceedings. pages 590-593, IEEE Computer Society, 2009. [doi]
Abstract is missing.