Results for Authorization models

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