Verification of agent knowledge in dynamic access control policies∗ Masoud Koleini, Eike Ritter and Mark Ryan School of Computer Science The University of Birmingham Birmingham, B15 2TT, UK

First Page		Document Content
Date: 2013-12-10 12:19:33		Verification of agent knowledge in dynamic access control policies∗ Masoud Koleini, Eike Ritter and Mark Ryan School of Computer Science The University of Birmingham Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 484,16 KB Share Document on Facebook