A Theory Based on Security Analysis for Comparing the Expressive Power of Access Control Models

Page Content

Author

Mahesh V. Tripunitara

Tech report number

CERIAS TR 2005-83

Entry type

phdthesis

Abstract

We present a theory for comparing the expressive power of access control models. Our theory is based on reductions that preserve the results of security analysis. Security analysis is an approach to the verification of security policies in access control systems. We demonstrate the effectiveness of the theory by applying it in several cases. Also, we present related results on safety analysis in Discretionary Access Control (DAC) and security analysis in Role-Based Access Control (RBAC).

Download

PDF

Institution

CERIAS

Key alpha

tripunitara

School

Purdue University

Publication Date

1900-01-01

Keywords

access control, expressive power, security analysis

Language

English

Subject

Access Control

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.