Real-Time Policy Enforcement with Metric First-Order Temporal Logic.
François HubletDavid A. BasinSrdan KrsticPublished in: ESORICS (2) (2022)
Keyphrases
- temporal logic
- real time
- linear temporal logic
- mazurkiewicz traces
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- policy enforcement
- first order logic
- verification method
- temporal knowledge
- access control
- belief revision
- computation tree logic
- low cost
- formal verification
- transition systems
- temporally extended
- enterprise network
- formal specification language