A Temporalised Belief Logic for Reasoning about Authentication Protocols.
Ji MaKlaus-Dieter SchewePublished in: TrustCom (2012)
Keyphrases
- modal operators
- authentication protocol
- defeasible logic
- modal logic
- nonmonotonic logics
- security analysis
- formal theory
- smart card
- temporal logic
- lightweight
- situation calculus
- cryptographic protocols
- description logics
- logic programming
- public key
- probability theory
- truth values
- nonmonotonic reasoning
- security protocols
- knowledge base
- belief functions
- default logic
- ban logic
- secret key
- rfid tags
- business rules
- rule base
- belief revision
- software systems