Luigia Carlucci Aiello Fabio Massacci Verifying security protocols as planning in logic programming. 542-580 2001 2 ACM Trans. Comput. Log. 4 http://doi.acm.org/10.1145/502166.502171 db/journals/tocl/tocl2.html#AielloM01