Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.
Clare DixonM. Carmen Fernández GagoMichael FisherWiebe van der HoekPublished in: TIME (2004)
Keyphrases
- model checking
- formal verification
- temporal logic
- security protocols
- model checker
- bounded model checking
- temporal knowledge
- formal specification
- modal operators
- concurrent systems
- modal logic
- knowledge management
- automated design
- transition systems
- formal representation
- linear temporal logic
- formal methods
- knowledge based systems