Back to Results
First PageMeta 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
UPDATE