HBAC: A Model for History-Based Access Control and Its Model Checking.

Jing Wang Yoshiaki Takata Hiroyuki Seki

Published in: ESORICS (2006)

Keyphrases

model checking
temporal properties
model checker
finite state machines
formal verification
temporal logic
artificial intelligence
verification method
knowledge representation
software engineering
formal specification
process algebra
timed automata