Specifying and verifying usage control models and policies in TLA(+) | 0 | 0.34 | 2021 |
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. | 0 | 0.34 | 2018 |
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. | 0 | 0.34 | 2018 |
Towards Use-Based Usage Control | 0 | 0.34 | 2012 |
Challenging issues of UCON in modern computing environments | 1 | 0.36 | 2012 |
A Use-Based Approach for Enhancing UCON. | 0 | 0.34 | 2012 |
Towards Differentiated Utilization of Attribute Mutability for Access Control in Ubiquitous Computing. | 2 | 0.42 | 2010 |