Loading web-font TeX/Math/Italic
Safety Decidability for Pre-Authorization Usage Control with Finite Attribute Domains | IEEE Journals & Magazine | IEEE Xplore

Safety Decidability for Pre-Authorization Usage Control with Finite Attribute Domains


Abstract:

This paper considers the safety problem for the pre-authorization sub-model of the well-known UCON_{ABC} usage control model, that is, Pre\_UCON_A . It is shown that...Show More

Abstract:

This paper considers the safety problem for the pre-authorization sub-model of the well-known UCON_{ABC} usage control model, that is, Pre\_UCON_A . It is shown that Pre\_UCON_A with finite attribute domains has decidable safety even if arbitrary object creation is allowed. This result eliminates the previously known restrictions for obtaining safety decidability in this context, which only allow a finite bounded number of objects to be created. Our result specifically permits unbounded object creation, so the set of objects is potentially infinite. In the proof, we show that the set of reachable protection tuples in infinite state Pre\_UCON_A models is finite and computable. We also provide a construction for decision procedure which answers the safety question by examining the reachable protection tuples.
Published in: IEEE Transactions on Dependable and Secure Computing ( Volume: 13, Issue: 5, 01 Sept.-Oct. 2016)
Page(s): 582 - 590
Date of Publication: 29 April 2015

ISSN Information:


References

References is not available for this document.