Model Checking Agent Knowledge in Dynamic Access Control Policies.

Masoud Koleini, Eike Ritter, Mark Ryan

Browse the full TACAS paper archive.