On formalising and normalising role−based access control systems

On formalising and normalising role−based access control systems

Show other versions (1)

Bibliographic Details
Main Authors:	Power, D, Slaymaker, M, Simpson, A
Format:	Journal article
Published:	2007

Similar Items

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)

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

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

Automatic conformance checking of role−based access control policies via Alloy
by: Power, D, et al.
Published: (2011)

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

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 the construction and verification of self−modifying access control policies
by: Power, D, et al.
Published: (2009)

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

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)

Formalising attack trees to support economic analysis
by: Simpson, A, et al.
Published: (2022)

Entailment : the formalisation of inference
by: Copeland, BJ
Published: (1978)

Formalisations and Applications of BPMN
by: Wong, P, et al.
Published: (2011)

Formalisation of the component specification
by: Vaidas Giedrimas, et al.
Published: (2004-12-01)

Formalisations and applications of BPMN
by: Wong, P, et al.
Published: (2011)

A formalisation of XMAS
by: Bernard van Gastel, et al.
Published: (2013-04-01)

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

Organisation management tasks formalisation
by: A. V. Raychenko
Published: (2022-07-01)

Formalisation of the sofware component ontology specification
by: Lina Bagušytė, et al.
Published: (2005-12-01)

Formalising and Verifying Reference Attribute Grammars in Coq.
by: Schäfer, M, et al.
Published: (2009)

Formalising and Verifying Reference Attribute Grammars in Coq
by: Schäfer, M, et al.
Published: (2009)

Formalising the Pathways to Life Using Assembly Spaces
by: Stuart M. Marshall, et al.
Published: (2022-06-01)

Formalisation of the knowledge used in design of software, information and business systems
by: Albertas Čaplinskas, et al.
Published: (2001-12-01)

Normalising lung ultrasound
by: S D Maasdorp
Published: (2022-12-01)

Normalisation Of The International Normalised Ratio Prior To Interventional Procedure: Is It Necessary?
by: Mohamad Mahyedin, Mohd Tarmizi
Published: (2017)

The attacker in ubiquitous computing environments: formalising the threat model
by: Roscoe, A, et al.
Published: (2003)

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

Formalisations and applications of business process modelling notation
by: Wong, P
Published: (2011)

Formalisations and Applications of Business Process Modelling Notation
by: Wong, P
Published: (2008)

Formalisation of partnering as a collaborative procurement method /
by: 206061 Chang, Siaw Hui, et al.
Published: (2009)

Formalisation of partnering as a collaborative procurement method
by: Chang, Siaw Hui
Published: (2009)

Formalisation of partnering as a collaborative procurement method
by: 206061 Chang, Siaw Hui

Formalising the pi-calculus using nominal logic
by: Jesper Bengtson, et al.
Published: (2009-06-01)

Abstracting and formalising the design co-evolution model
by: John S. Gero, et al.
Published: (2022-01-01)

A formalised approach to designing sonification systems for network-security monitoring
by: Axon, L, et al.
Published: (2017)

Formalised assessment of systemic thrombogenicity in patients with Polycythemia vera suffered an ischemic stroke
by: E. V. Roitman, et al.
Published: (2020-12-01)

Normalisers in Limit Groups
by: Bridson, M, et al.
Published: (2005)

Modelling web based socio-technical systems through formalising possible sequences of human experience
by: Walton, R, et al.
Published: (2019)