A knowledge-based verification method for dynamic access control policies Masoud Koleini and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK {m.koleini,m.d.ryan - B15 - Document - PDFSEARCH.IO

First Page	Meta Content
	A knowledge-based verification method for dynamic access control policies Masoud Koleini and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK {m.koleini,m.d.ryan}@cs.bham.ac.uk Add to Reading List Document Date: 2011-08-02 04:08:18 Open Document File Size: 285,84 KB Share Result on Facebook

A knowledge-based verification method for dynamic access control policies Masoud Koleini and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK {m.koleini,m.d.ryan}@cs.bham.ac.ukAdd to Reading List