A Knowledge-Based Verification Method for Dynamic Access Control Policies

Masoud Koleini, Mark Ryan, S Qin, Z Qiu

Computer Science

Research output: Contribution to conference (unpublished) › Paper

6 Citations (Scopus)

Original language	English
Pages	243-258
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-24559-6_18
Publication status	Published - 1 Oct 2011

Access to Document

10.1007/978-3-642-24559-6_18

Verifying Interoperability requirements in Pervasive Systems
Ryan, M. & Ritter, E.
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils

Cite this