Iliano Cervesato Catherine Meadows Dusko Pavlovic An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. 48-61 2005 conf/csfw/2005 CSFW http://dx.doi.org/10.1109/CSFW.2005.7 db/conf/csfw/csfw2005.html#CervesatoMP05