Planning Attacks to Security Protocols: Case Studies in Logic Programming.

Luigia Carlucci Aiello Fabio Massacci Planning Attacks to Security Protocols: Case Studies in Logic Programming. 533-560 2002 conf/birthday/2002kowalski1 Computational Logic: Logic Programming and Beyond http://link.springer.de/link/service/series/0558/bibs/2407/24070533.htm db/conf/birthday/kowalski2002-1.html#AielloM02