1![Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT](https://www.pdfsearch.io/img/0b496baba9041f82c9d9a1767c8e6a42.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2009-02-25 10:33:24
|
---|
2![Towards Accelerated Usage Control Based on Access Correlations Richard Gay, Jinwei Hu, Heiko Mantel, and Johannes Schickel Department of Computer Science, TU Darmstadt, Germany Towards Accelerated Usage Control Based on Access Correlations Richard Gay, Jinwei Hu, Heiko Mantel, and Johannes Schickel Department of Computer Science, TU Darmstadt, Germany](https://www.pdfsearch.io/img/fab2272f396201cdd5d010d5580e2abf.jpg) | Add to Reading ListSource URL: www.mais.informatik.tu-darmstadt.deLanguage: English - Date: 2017-11-06 04:54:01
|
---|
3![Access Control and Key Management for Mobile Agents Volker Roth 1 and Mehrdad Jalali-Sohi 2 Fraunhofer Institute for Computer Graphics, Rundeturmstr. 6, 64283 Darmstadt, Germany Access Control and Key Management for Mobile Agents Volker Roth 1 and Mehrdad Jalali-Sohi 2 Fraunhofer Institute for Computer Graphics, Rundeturmstr. 6, 64283 Darmstadt, Germany](https://www.pdfsearch.io/img/40def778acf778a817aac42aa2290c8b.jpg) | Add to Reading ListSource URL: www.volkerroth.comLanguage: English - Date: 2007-11-23 00:02:04
|
---|
4![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 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](https://www.pdfsearch.io/img/d72af0e530f0fea28f4740d0906511ca.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2009-02-25 10:33:23
|
---|
5![Verification of agent knowledge in dynamic access control policies∗ Masoud Koleini, Eike Ritter and Mark Ryan School of Computer Science The University of Birmingham Birmingham, B15 2TT, UK Verification of agent knowledge in dynamic access control policies∗ Masoud Koleini, Eike Ritter and Mark Ryan School of Computer Science The University of Birmingham Birmingham, B15 2TT, UK](https://www.pdfsearch.io/img/7701a78568dfe0875292bfa36cce4dd4.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2013-12-10 12:19:33
|
---|
6![Modelling Dynamic Access Control Policies for Web-based Collaborative Systems Hasan Qunoo and Mark Ryan School of Computer Science, University of Birmingham, UK Abstract. We present a modelling language, called X-Policy Modelling Dynamic Access Control Policies for Web-based Collaborative Systems Hasan Qunoo and Mark Ryan School of Computer Science, University of Birmingham, UK Abstract. We present a modelling language, called X-Policy](https://www.pdfsearch.io/img/0f269d05d512acb838a11bfcae013f3f.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2010-02-17 13:26:47
|
---|
7![Rigorous Analysis of UML Access Control Policy Models Wuliang Sun, Robert France and Indrakshi Ray Computer Science Department Rigorous Analysis of UML Access Control Policy Models Wuliang Sun, Robert France and Indrakshi Ray Computer Science Department](https://www.pdfsearch.io/img/0ae08d1fe39414c145119a89d87dc0d4.jpg) | Add to Reading ListSource URL: www.policy-workshop.orgLanguage: English - Date: 2011-06-13 06:57:22
|
---|
8![Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT](https://www.pdfsearch.io/img/ff5cd93b69054481a10db7719e8925dc.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.uk.Language: English - Date: 2009-02-25 10:33:24
|
---|
9![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 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](https://www.pdfsearch.io/img/8d6fad3072d027b55eb377007e2a9ae7.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.uk.Language: English - Date: 2009-02-25 10:33:23
|
---|
10![Draft NISTIR 8112, Attribute Metadata Draft NISTIR 8112, Attribute Metadata](https://www.pdfsearch.io/img/3b7af704581e6a929af52bfb691a121b.jpg) | Add to Reading ListSource URL: csrc.nist.govLanguage: English - Date: 2016-08-01 15:13:29
|
---|