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)

1 results

Filter

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