University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Vac - Verifier of Administrative Role-Based Access Control Policies.

Ferrara, A, Madhusudan, P, Nguyen, TL and Parlato, GL (2014) Vac - Verifier of Administrative Role-Based Access Control Policies. Computer Aided Verification, LNCS 8. pp. 184-191.

Full text not available from this repository.

Abstract

In this paper we present Vac, an automatic tool for verifying security properties of administrative Role-based Access Control (RBAC). RBAC has become an increasingly popular access control model, particularly suitable for large organizations, and it is implemented in several software. Automatic security analysis of administrative RBAC systems is recognized as an important problem, as an analysis tool can help designers check whether their policies meet expected security properties. Vac converts administrative RBAC policies to imperative programs that simulate the policies both precisely and abstractly and supports several automatic verification back-ends to analyze the resulting programs. In this paper, we describe the architecture of Vac and overview the analysis techniques that have been implemented in the tool. We also report on experiments with several benchmarks from the literature.

Item Type: Article
Subjects : Computing
Authors :
NameEmailORCID
Ferrara, Aa.ferrara@surrey.ac.ukUNSPECIFIED
Madhusudan, PUNSPECIFIEDUNSPECIFIED
Nguyen, TLUNSPECIFIEDUNSPECIFIED
Parlato, GLUNSPECIFIEDUNSPECIFIED
Date : 2014
Identification Number : https://doi.org/10.1007/978-3-319-08867-9_12
Depositing User : Symplectic Elements
Date Deposited : 17 May 2017 13:52
Last Modified : 18 May 2017 12:53
URI: http://epubs.surrey.ac.uk/id/eprint/840618

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800