Analyzing security protocols with secrecy types and logic programs.
Martín AbadiBruno BlanchetPublished in: POPL (2002)
Keyphrases
- logic programs
- security protocols
- logic programming
- security properties
- key management
- stable models
- answer set programming
- answer sets
- fixpoint
- computational properties
- partial deduction
- term rewriting systems
- normal logic programs
- prolog programs
- security requirements
- security mechanisms
- wireless sensor networks
- authentication protocol
- databases
- strong equivalence
- logic program updates
- propositional theories
- loop formulas
- stable model semantics
- knowledge base