Verifying security protocols as planning in logic programming
ACM Trans. Comput. Log., pp. 542-580, 2001.
We illustrate ALSP (Action Language for Security Protocol), a declarative executable specification language for planning attacks to security protocols. ALSP is based on logic programming with negation as failure, and with stable model semantics. In ALSP we can give a declarative specification of a protocol with the natural semantics of se...More
Full Text (Upload PDF)
PPT (Upload PPT)