The University of Southampton
University of Southampton Institutional Repository

Analyzing temporal role based access control models

Uzun, Emre, Atluri, Vijayalakshmi, Sural, Shamik, Vaidya, Jaideep, Gennaro, Parlato, Ferrara, Anna Lisa and Madhusudan, Parthasarathy (2012) Analyzing temporal role based access control models In SACMAT '12 Proceedings of the 17th ACM symposium on Access Control Models and Technologies. ACM., 177 -186. (doi:10.1145/2295136.2295169).

Record type: Conference or Workshop Item (Paper)


Today, Role Based Access Control (RBAC) is the de facto model used for advanced access control, and is widely deployed in diverse enterprises of all sizes. Several extensions to the authorization as well as the administrative models for RBAC have been adopted in recent years. In this paper, we consider the temporal extension of RBAC (TRBAC), and develop safety analysis techniques for it. Safety analysis is essential for understanding the implications of security policies both at the stage of specification and modification. Towards this end, in this paper, we first define an administrative model for TRBAC. Our strategy for performing safety analysis is to appropriately decompose the TRBAC analysis problem into multiple subproblems similar to RBAC. Along with making the analysis simpler, this enables us to leverage and adapt existing analysis techniques developed for traditional RBAC. We have adapted and experimented with employing two state of the art analysis approaches developed for RBAC as well as tools developed for software testing. Our results show that our approach is both feasible and flexible.

PDF sacmat.pdf - Version of Record
Restricted to Repository staff only
Download (880kB)
PDF sacmat.pdf - Other
Download (880kB)

More information

Published date: 20 June 2012
Organisations: Electronic & Software Systems


Local EPrints ID: 340533
PURE UUID: 1840d948-35ab-4924-a0fb-f85527bed6e7

Catalogue record

Date deposited: 23 Jun 2012 23:41
Last modified: 18 Aug 2017 16:31

Export record



Author: Emre Uzun
Author: Vijayalakshmi Atluri
Author: Shamik Sural
Author: Jaideep Vaidya
Author: Parlato Gennaro
Author: Anna Lisa Ferrara
Author: Parthasarathy Madhusudan

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.