Early Validation and Verification of a Distributed Role-Based Access Control Model

Proceedings - Asia-Pacific Software Engineering Conference, APSEC - United States
doi 10.1109/apsec.2007.46
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

IEEE

Related search

Role-Based Access Control Consistency Validation

2006English

Towards Formal Verification of Role-Based Access Control Policies

IEEE Transactions on Dependable and Secure Computing
Electronic EngineeringElectricalComputer Science
2008English

Security Analysis of Role-Based Access Control Through Program Verification

2012English

Efficient Access Enforcement in Distributed Role-Based Access Control (RBAC) Deployments

2009English

A Formal Model for Parameterized Role-Based Access Control

English

Role Hierarchies for Temporal Constraint Role-Based Access Control Model.

Journal of Computer Science and Cybernetics
2012English

CRiBAC: Community-Centric Role Interaction Based Access Control Model

Computers and Security
LawComputer Science
2012English

TC-enabled and Distributed Cloud Computing Access Control Model

Journal of Applied Sciences
2014English

Simulation Model Verification and Validation

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy