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

Jing Wang, Yoshiaki Takata, Hiroyuki Seki

Browse the full ESORICS paper archive.