Lawrence C. Paulson Mechanized proofs for a recursive authentication protocol. 84-95 1997 conf/csfw/1997 CSFW http://csdl.computer.org/comp/proceedings/csfw/1997/7990/00/79900084abs.htm db/conf/csfw/csfw1997.html#Paulson97a