Shinyoung Lim Sangseung Kang Joo-Chan Sohn Modeling of Multiple Agent based Cryptographic Key Recovery Protocol. 119-128 2003 conf/acsac/2003 ACSAC http://csdl.computer.org/comp/proceedings/acsac/2003/2041/00/20410119abs.htm db/conf/acsac/acsac2003.html#LimKS03