Home > Research > Browse

Research

Results for UseCON

Publications & Outputs

  1. Specifying and Verifying Usage Control Models and Policies in TLA+

    Grompanopoulos, C., Gouglidis, A. & Mavridou, A., 31/10/2021, In: International Journal on Software Tools for Technology Transfer. 23, 5, p. 685-700

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. A use-based approach for enhancing UCON

    Grompanopoulos, C., Gouglidis, A. & Mavridis, I., 1/12/2013, Security and Trust Management. Jøsang, A., Samarati, P. & Petrocchi, M. (eds.). Berlin: Springer Verlag, p. 81-96 16 p. (Lecture Notes in Computer Science ; vol. 7783 ).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review