A Generic Model for Analyzing Security Protocols.

Yonggen Gu Yuxi Fu Farong Zhong Han Zhu A Generic Model for Analyzing Security Protocols. 119-128 2005 conf/mmmacns/2005 MMM-ACNS http://dx.doi.org/10.1007/11560326_9 db/conf/mmmacns/mmmacns2005.html#GuFZZ05