Computer access control

Results: 4654



#Item
1Synthesising 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

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-02-25 10:33:24
    2Towards 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

    Add to Reading List

    Source URL: www.mais.informatik.tu-darmstadt.de

    Language: English - Date: 2017-11-06 04:54:01
      3Access 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

      Add to Reading List

      Source URL: www.volkerroth.com

      Language: English - Date: 2007-11-23 00:02:04
        4Synthesising 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

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2009-02-25 10:33:23
          5Verification 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

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          Language: English - Date: 2013-12-10 12:19:33
            6Modelling 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

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2010-02-17 13:26:47
              7Rigorous 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

              Add to Reading List

              Source URL: www.policy-workshop.org

              Language: English - Date: 2011-06-13 06:57:22
                8Synthesising 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

                Add to Reading List

                Source URL: www.cs.bham.ac.uk.

                Language: English - Date: 2009-02-25 10:33:24
                  9Synthesising 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

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk.

                  Language: English - Date: 2009-02-25 10:33:23
                    10Draft NISTIR 8112, Attribute Metadata

                    Draft NISTIR 8112, Attribute Metadata

                    Add to Reading List

                    Source URL: csrc.nist.gov

                    Language: English - Date: 2016-08-01 15:13:29