Model checking agent knowledge in dynamic access control policies

Masoud Koleini, Eike Ritter, Mark Ryan

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

1 results

Finished
Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Ryan, M.
Engineering & Physical Science Research Council
1/04/10 → 30/09/15
Project: Research Councils