Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT - Computer access control - Document - PDFSEARCH.IO

First Page	Meta Content
	Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT Add to Reading List Document Date: 2009-02-25 10:33:24 Open Document File Size: 1,21 MB Share Result on Facebook

Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TTAdd to Reading List