Equivalence of Group-Centric Collaboration with Expedient Insiders (GEI) and LBAC with Collaborative Compartments (LCC)

Date

2012-08

Authors

Ahmed, Tahmina
Sandhu, Ravi
Bijon, Khalid
Krishnan, Ram

Journal Title

Journal ISSN

Volume Title

Publisher

UTSA Department of Computer Science

Abstract

Equivalence of access control models can be proved by comparing their expressive power. Tripunitara and Li [3] have given a generalized theoretical formulation for comparing expressive power of access control models via simulations that preserve security properties which are called state matching reductions. This report gives a formal proof of a state matching reduction from Group-Centric Collaboration with Expedient Insiders (GEI) [1] to LBAC with Collaborative Compartments (LCC), a model defined in this report, and vice versa. So GEI and LCC are equivalent in their expressive power as per [3].

Description

Keywords

Citation

Department

Computer Science