Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr - Computer access control - Document - PDFSEARCH.IO

First Page	Meta Content
	Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk Add to Reading List Document Date: 2009-02-25 10:33:23 Open Document File Size: 1,06 MB Share Result on Facebook

Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.ukAdd to Reading List