Referenced Items are not available for this document.
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.
Published in:
Dependable and Secure Computing, IEEE Transactions on
(Volume:7
,
Issue:
2
)
Date of Publication: April-June 2010
- Page(s):
- 144 - 158
- ISSN :
- 1545-5971
- INSPEC Accession Number:
- 11340841
- Digital Object Identifier :
- 10.1109/TDSC.2008.41
- Product Type:
- Journals & Magazines
- Date of Publication :
- 01 August 2008
- Date of Current Version :
- 18 May 2010
- Issue Date :
- April-June 2010
- Sponsored by :
- IEEE Computer Society
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
