An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.
Mengjun LiTi ZhouZhoujun LiHuowang ChenPublished in: ASIAN (2007)
Keyphrases
- logic programming
- logic programs
- extended logic programs
- security protocols
- nonmonotonic reasoning
- cooperative multi agent
- answer sets
- deductive databases
- answer set programming
- inductive logic programming
- computational logic
- programming language
- high level
- knowledge base
- end to end
- logic programming language
- knowledge representation
- formal model
- databases
- low cost
- software engineering