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

dc.contributor.authorAhmed, Tahmina
dc.contributor.authorSandhu, Ravi
dc.contributor.authorBijon, Khalid
dc.contributor.authorKrishnan, Ram
dc.date.accessioned2023-10-26T16:27:22Z
dc.date.available2023-10-26T16:27:22Z
dc.date.issued2012-08
dc.description.abstractEquivalence 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].
dc.description.departmentComputer Science
dc.identifier.urihttps://hdl.handle.net/20.500.12588/2189
dc.language.isoen_US
dc.publisherUTSA Department of Computer Science
dc.relation.ispartofseriesTechnical Report; CS-TR-2012-010
dc.titleEquivalence of Group-Centric Collaboration with Expedient Insiders (GEI) and LBAC with Collaborative Compartments (LCC)
dc.typeTechnical Report

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Ahmed_et_al_CS-TR-2012-010.pdf
Size:
188.85 KB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.86 KB
Format:
Item-specific license agreed upon to submission
Description: