Towards usage control models: beyond traditional access control
SACMAT '02 Proceedings of the seventh ACM symposium on Access control models and technologies
Timed constraint programming: a declarative approach to usage control
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Formal model and policy specification of usage control
ACM Transactions on Information and System Security (TISSEC)
Safety analysis of usage control authorization models
ASIACCS '06 Proceedings of the 2006 ACM Symposium on Information, computer and communications security
Security analysis in role-based access control
ACM Transactions on Information and System Security (TISSEC)
A note on the formalisation of UCON
Proceedings of the 12th ACM symposium on Access control models and technologies
On the Decidability of the Safety Problem for Access Control Policies
Electronic Notes in Theoretical Computer Science (ENTCS)
Access control policies and languages
International Journal of Computational Science and Engineering
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Study and Safety Analysis on UCONonA Model
DBTA '09 Proceedings of the 2009 First International Workshop on Database Technology and Applications
ASASP: automated symbolic analysis of security policies
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Evaluating access control policies through model checking
ISC'05 Proceedings of the 8th international conference on Information Security
Survey: Usage control in computer security: A survey
Computer Science Review
| Hi-index | 0.00 |
We study the decidability of the safety problem in the usage control (UCON) model. After defining a formal model, we identify sufficient conditions for the decidability of the safety problem for UCON systems whose attributes are allowed to range over infinite domains and updates in one process may affect the state of another. Our result is a significant generalization of those available in the literature.