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		Document Content
Date: 2011-08-02 04:08:18		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 Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 285,84 KB Share Document on Facebook