Conformance Testing of Temporal Role-Based Access Control Systems

Authors:
Masood Masood;Arif Ghafoor;Aditya Mathur
Affiliations:
Air University, Islamabad;Purdue University, West Lafayette;Purdue University, West Lafayette
Venue:
IEEE Transactions on Dependable and Secure Computing
Year:
2010

Citing 0
Cited 3

A model-based approach to automated testing of access control policies

Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Integration testing through reusing representative unit test cases for high-confidence medical software

Computers in Biology and Medicine
Verification and enforcement of access control policies

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an approach for conformance testing of implementations required to enforce access control policies specified using the Temporal Role-Based Access Control (TRBAC) model. The proposed approach uses Timed Input-Output Automata (TIOA) to model the behavior specified by a TRBAC policy. The TIOA model is transformed to a deterministic se-FSA model that captures any temporal constraint by using two special events Set and Exp. The modified W-method and integer-programming-based approach are used to construct a conformance test suite from the transformed model. The conformance test suite so generated provides complete fault coverage with respect to the proposed fault model for TRBAC specifications.