Yonggen Gu Yuxi Fu Yang Li Xiaoju Dong A Generic Model for Symbolic Analyzing Security Protocols. 680-684 2005 conf/IEEEcit/2005 CIT http://doi.ieeecomputersociety.org/10.1109/CIT.2005.12 db/conf/IEEEcit/IEEEcit2005.html#GuFLD05