Amanote Research

Amanote Research

  • Register
  • Sign In

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

Categories

Software

Date

December 1, 2007

Authors

Saad ZafarRobert ColvinKirsten WinterNisansala YatapanageR. G. Dromey

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


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

Privacy PolicyRefund Policy