An Executable Specification Language for Planning Attacks to Security Protocols.

Luigia Carlucci Aiello Fabio Massacci An Executable Specification Language for Planning Attacks to Security Protocols. 88-102 2000 CSFW http://www.computer.org/proceedings/csfw/0671/06710088abs.htm db/conf/csfw/csfw2000.html#AielloM00