A Logic Programming Based Framework for Security Protocol Verification.
Shujing WangYan ZhangPublished in: ISMIS (2008)
Keyphrases
- logic programming
- logic programs
- extended logic programs
- deductive databases
- cooperative multi agent
- security protocols
- nonmonotonic reasoning
- logic programming language
- programming language
- knowledge representation
- answer set programming
- answer sets
- constraint logic programming
- semantics for logic programs
- general purpose
- reasoning about actions
- software engineering
- normal logic programs
- object oriented
- information systems