article · 2006

Conformance Testing of . . .

Ammar Masood, Arif Ghafoor, Aditya Mathur

Cited by 0Abstract and details only

Abstract

Access control is a key security service at the foundation of information and system security. It has been extended with temporal constraints to support real-time considerations. Conformance testing of an access control implementation is crucial to ensure that it correctly enforces any required temporal and non-temporal policies for access control. We propose an approach for conformance testing of implementations required to enforce access control policies specified using 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 then transformed to a deterministic se-FSA model that captures any temporal constraint by using two special events Set and Exp. Finally we adapt the W-method and use an integer programming based approach 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.

Cite this paper

APA 7

Masood, A., Ghafoor, A., & Mathur, A. (2006). Conformance Testing of . . .

MLA 9

Masood, Ammar, et al. “Conformance Testing of . . .” 2006.

Chicago

Masood, Ammar, Arif Ghafoor, and Aditya Mathur. 2006. “Conformance Testing of . . .”

Harvard

Masood, A., Ghafoor, A. and Mathur, A. (2006) ‘Conformance Testing of . . ’.

BibTeX

@article{masood2006conformance,
  title = {{Conformance Testing of . . .}},
  author = {Masood, Ammar and Ghafoor, Arif and Mathur, Aditya},
  year = {2006}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.