Automatic conformance checking of role−based access control policies via Alloy

Automatic conformance checking of role−based access control policies via Alloy

Bibliographic Details
Main Authors:	Power, D, Slaymaker, M, Simpson, A
Format:	Conference item
Published:	Springer−Verlag Lecture Notes in Computer Science‚ volume 6542 2011

Similar Items

Conformance checking of dynamic access control policies
by: Power, D, et al.
Published: (2011)

Conformance Checking of Dynamic Access Control Policies
by: Power, D, et al.
Published: (2011)

On Formalizing and Normalizing Role-Based Access Control Systems
by: Power, D, et al.
Published: (2009)

On formalising and normalising role−based access control systems
by: Power, D, et al.
Published: (2007)

On the construction and verification of self−modifying access control policies
by: Power, D, et al.
Published: (2009)

On XACML‚ role−based access control‚ and health grids
by: Power, D, et al.
Published: (2005)

On the modelling and analysis of Amazon Web Services access policies
by: Power, D, et al.
Published: (2010)

On the modelling and analysis of Amazon Web Services access policies
by: Power, D, et al.
Published: (2009)

On formalising and normalising role−based access control systems
by: Slaymaker, D, et al.
Published: (2009)

The formalisation and transformation of access control policies
by: Slaymaker, M, et al.
Published: (2011)

Towards fine−grained access control in health grids
by: Simpson, A, et al.
Published: (2015)

Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
by: Slaymaker, M, et al.
Published: (2008)

Protecting Sensitive Patient Data via Query Modification
by: Power, D, et al.
Published: (2005)

Static conformance checking for matrices
by: Seto, Roy
Published: (2007)

Automatic Error Finding in Access-Control Policies
by: Jayaraman, Karthick, et al.
Published: (2010)

Graph-Based Token Replay for Online Conformance Checking
by: Indra Waspada, et al.
Published: (2022-01-01)

On-Orbit Event-Based Conformance Checking Using GPU
by: Nan Li
Published: (2019-01-01)

Conformance Checking and Pushdown Reactive Systems
by: Adilson Bonifacio, et al.
Published: (2023-03-01)

Applying MapReduce to Conformance Checking
by: I. S. Shugurov, et al.
Published: (2018-10-01)

Automatic Generation and Checking of Program Specifications
by: Nimmer, Jeremy W., et al.
Published: (2023)

On deducibility and anonymisation in medical databases
by: Power, D, et al.
Published: (2005)

Formalising and validating RBAC−to−XACML translation using lightweight formal methods
by: Slaymaker, M, et al.
Published: (2010)

Security aspects of grid−based digital mammography
by: Slaymaker, M, et al.
Published: (2004)

Security aspects of Grid-based digital mammography.
by: Slaymaker, M, et al.
Published: (2005)

Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models
by: Wolfgang Schreiner, et al.
Published: (2018-03-01)

Automatic Generation and Checking of Program Specifications
by: Nimmer, Jeremy
Published: (2023)

Automatic generation and checking of program specifications
by: Nimmer, Jeremy W. (Jeremy William), 1978-
Published: (2014)

Conformance Checking of Dwelling Time Using a Token-based Method
by: Bambang Jokonowo, et al.
Published: (2021-10-01)

Conformity checking of LPG Transportation Trucks by Modelling and Simulation
by: Gallab Maryam, et al.
Published: (2017-01-01)

Using Spec Explorer for Automatic Checking of Constraints in Software Controlled Systems.
by: Izzat Mahmoud ALSMADI, et al.
Published: (2011-01-01)

Designing role-based access control policies with UML
by: L. Radvilavicius, et al.
Published: (2009-01-01)

Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events
by: Marcin Szpyrka, et al.
Published: (2020-12-01)

On End-to-end Automatic Fact-checking Systems
by: Fang, Wei
Published: (2022)

Automatic simulation method for functional equivalence check
by: Liao Lu, et al.
Published: (2019-08-01)

Automatic picture quality checking for VCR production
by: Maung Than Tun.
Published: (2008)

Automatic English grammar error checking and recommendation
by: Min, Arkar
Published: (2019)

Copper alloy globe, globe stop and check, check and gate valves
by: 8096 British Standards Institution

Quickening Data-Aware Conformance Checking through Temporal Algebras
by: Giacomo Bergami, et al.
Published: (2023-03-01)

Checking conformity of Tehran Stock Exchange Data with Benford’s Law
by: Somayeh Poorhossein
Published: (2019-03-01)

Conformance Checking: Workflow of Hospitals and Workflow of Open-Source EMRs
by: Esther Asare, et al.
Published: (2020-01-01)