Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security.
Leifeng HeGuanjun LiuPublished in: SERVICES (2020)
Keyphrases
- petri net
- epistemic logic
- cryptographic protocols
- model checking
- secure multiparty computation
- petri net model
- privacy preserving
- authentication protocol
- security issues
- colored petri nets
- concurrent systems
- model checker
- semi honest
- security protocols
- temporal logic
- discrete event systems
- formal verification
- modal logic
- dynamic epistemic logic
- multi agent systems
- logical framework
- multi faceted
- web service composition
- fuzzy petri net
- service composition
- state machines
- information security
- access control
- inference rules
- stochastic petri net
- communication protocols
- formal semantics
- security analysis
- formal methods
- description language
- rfid tags
- smart card
- mathematical theory