Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.
Anupam DattaAnte DerekJohn C. MitchellVitaly ShmatikovMathieu TuruaniPublished in: ICALP (2005)
Keyphrases
- logic programming
- cryptographic protocols
- security protocols
- epistemic logic
- proof theory
- probabilistic logic
- key agreement protocol
- sound and complete axiomatization
- security properties
- deterministic finite state automata
- sound and complete with respect
- authentication protocol
- propositional dynamic logic
- rfid systems
- probabilistic knowledge
- key exchange protocol
- security analysis
- security requirements
- logical framework
- security model
- model theoretic
- nonmonotonic logics
- communication protocols
- information security
- dynamic logic
- modal logic
- probability theory
- access control
- mutual authentication
- lightweight
- denial of service attacks
- probabilistic reasoning
- conditional logic
- truth table
- mobile payment
- contractual obligations
- fixed point semantics
- operational semantics
- network security
- security policies
- security issues
- bayesian networks
- inference rules
- provably secure
- derivation rules
- default reasoning
- formal semantics
- action theories
- trust negotiation
- alternating time temporal logic
- protocol specification
- messages exchanged
- security mechanisms
- elliptic curve
- modal operators
- agent communication language
- key management
- classical logic
- active rules
- model checking
- logic programs
- relational structures