Formalising and validating RBAC−to−XACML translation using lightweight formal methods

Formalising and validating RBAC−to−XACML translation using lightweight formal methods

書誌詳細
主要な著者:	Slaymaker, M, Power, D, Simpson, A
フォーマット:	Conference item
出版事項:	Springer−Verlag Lecture Notes in Computer Science‚ volume 5977 2010

類似資料

On XACML‚ role−based access control‚ and health grids
著者:: Power, D, 等
出版事項: (2005)

Enhance cloud security and effectiveness using improved RSA-based RBAC with XACML technique
著者:: A. Kousalya, 等
出版事項: (2023-01-01)

On formalising and normalising role−based access control systems
著者:: Power, D, 等
出版事項: (2007)

A Formal Validation Approach for XACML 3.0 Access Control Policy
著者:: Carmine Caserio, 等
出版事項: (2022-04-01)

On formalising and normalising role−based access control systems
著者:: Slaymaker, D, 等
出版事項: (2009)

The formalisation and transformation of access control policies
著者:: Slaymaker, M, 等
出版事項: (2011)

XACML for Mobility (XACML4M)—An Access Control Framework for Connected Vehicles
著者:: Ashish Ashutosh, 等
出版事項: (2023-02-01)

On Formalizing and Normalizing Role-Based Access Control Systems
著者:: Power, D, 等
出版事項: (2009)

Heterogeneity XACML policy evaluation engine
著者:: Teo, Poh Kuang, 等
出版事項: (2014)

Modality conflict analysis in XACML policy evaluation
著者:: Teo, Poh Kuang, 等
出版事項: (2017)

On the use of Max-SAT and PDDL in RBAC maintenance
著者:: Marco Benedetti, 等
出版事項: (2019-07-01)

Access control policy management based on extended-XACML
著者:: LI Xiao-feng, 等
出版事項: (2007-01-01)

Access control policy management based on extended-XACML
著者:: LI Xiao-feng, 等
出版事項: (2007-01-01)

Enforcing RFID data visibility restrictions using XACML security policies
著者:: Pardal, Miguel L., 等
出版事項: (2013)

Formalising attack trees to support economic analysis
著者:: Simpson, A, 等
出版事項: (2022)

From Formal-Informal to Emergent Formalisation: Fluidities in the Production of Urban Waterscapes
著者:: Kajri Misra
出版事項: (2014-02-01)

A framework of secure KMS with RBAC implementation
著者:: Abu Bakar, Azreena, 等
出版事項: (2015)

An Approach for Hierarchical RBAC Reconfiguration With Minimal Perturbation
著者:: Ning Pan, 等
出版事項: (2018-01-01)

Performance assessment of XACML authorizations for Supply Chain Traceability Web Services
著者:: Pardal, Miguel L., 等
出版事項: (2014)

City on the sky: extending XACML for flexible, secure data sharing on the Cloud
著者:: Dinh, Tien Tuan Anh, 等
出版事項: (2013)

Application of the Extension RBAC Model in the Family Open Platform
著者:: We Li, 等
出版事項: (2015-11-01)

Application of the Extension RBAC Model in the Family Open Platform
著者:: We Li, 等
出版事項: (2015-11-01)

Mitigating the Ronin Protocol Vulnerability in the Context of RBAC Policy
著者:: Halyna Huzenko, 等
出版事項: (2023-11-01)

Lambda-RBAC: Programming with Role-Based Access Control
著者:: Radha Jagadeesan, 等
出版事項: (2008-01-01)

Safety and Availability Checking for User Authorization Queries in RBAC
著者:: Jian-feng Lu, 等
出版事項: (2012-09-01)

RBAC-SC: Role-Based Access Control Using Smart Contract
著者:: Jason Paul Cruz, 等
出版事項: (2018-01-01)

An effective naming heterogeneity resolution for XACML policy evaluation in a distributed environment
著者:: Teo, Poh Kuang, 等
出版事項: (2021)

HPEngine: high performance XACML policy evaluation engine based on statistical analysis
著者:: De-hua NIU, 等
出版事項: (2014-08-01)

HPEngine: high performance XACML policy evaluation engine based on statistical analysis
著者:: De-hua NIU, 等
出版事項: (2014-08-01)

Poliseek: A Fast XACML Policy Evaluation Engine Using Dimensionality Reduction and Characterized Search
著者:: Fan Deng, 等
出版事項: (2022-11-01)

Formalisations and applications of BPMN
著者:: Wong, P, 等
出版事項: (2011)

Entailment : the formalisation of inference
著者:: Copeland, BJ
出版事項: (1978)

Formalisations and Applications of BPMN
著者:: Wong, P, 等
出版事項: (2011)

Formalisation of the component specification
著者:: Vaidas Giedrimas, 等
出版事項: (2004-12-01)

A formalisation of XMAS
著者:: Bernard van Gastel, 等
出版事項: (2013-04-01)

Formalising Confluence in PVS
著者:: Mauricio Ayala-Rincón
出版事項: (2016-03-01)

Relative Monads Formalised
著者:: Thorsten Altenkirch, 等
出版事項: (2014-07-01)

La formalisation du discours savant La formalisation du discours savant
著者:: Jean-Claude Gardin
出版事項: (1999-11-01)

Formalisation of partnering as a collaborative procurement method /
著者:: 206061 Chang, Siaw Hui, 等
出版事項: (2009)

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