A use-based approach for enhancing UCON C Grompanopoulos, A Gouglidis, I Mavridis Security and Trust Management: 8th International Workshop, STM 2012, Pisa …, 2013 | 11 | 2013 |
Formal verification of usage control models: a case study of UseCON using TLA+ A Gouglidis, C Grompanopoulos, A Mavridou arXiv preprint arXiv:1806.09848, 2018 | 8 | 2018 |
Towards differentiated utilization of attribute mutability for access control in ubiquitous computing C Grompanopoulos, I Mavridis 2010 14th Panhellenic Conference on Informatics, 118-123, 2010 | 6 | 2010 |
Challenging issues of UCON in modern computing environments C Grompanopoulos, I Mavridis Proceedings of the Fifth Balkan Conference in Informatics, 156-161, 2012 | 5 | 2012 |
Towards Use-Based Usage Control C Grompanopoulos, I Mavridis Information Security and Privacy Research, 585-590, 2012 | 3 | 2012 |
Specifying and verifying usage control models and policies in TLA C Grompanopoulos, A Gouglidis, A Mavridou International Journal on Software Tools for Technology Transfer 23 (5), 685-700, 2021 | 2 | 2021 |