Verifying security protocols as planning in logic programming

ACM Trans. Comput. Log., pp. 542-580, 2001.

Cited by: 89|Bibtex|Views3|DOI:https://doi.org/10.1145/383779.383785
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments