Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

First Page		Document Content
Date: 2009-02-25 10:33:24		Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk. Download Document from Source Website File Size: 1,21 MB Share Document on Facebook