![](https://www.pdfsearch.io/img/d72af0e530f0fea28f4740d0906511ca.jpg) Date: 2009-02-25 10:33:23
| | 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 ListSource URL: www.cs.bham.ac.ukDownload Document from Source Website File Size: 1,06 MBShare Document on Facebook
|