Specifying and Verifying Usage Control Models and Policies in TLA+

Grompanopoulos, Christos and Gouglidis, Antonios and Mavridou, Anastasia (2020) Specifying and Verifying Usage Control Models and Policies in TLA+. International Journal on Software Tools for Technology Transfer. ISSN 1433-2779 (In Press)

[img]
Text (STTT UseCON TLA)
STTT_UseCON_TLA.pdf - Accepted Version
Restricted to Repository staff only until 1 January 2050.
Available under License Creative Commons Attribution-NonCommercial.

Download (837kB)
Item Type:
Journal Article
Journal or Publication Title:
International Journal on Software Tools for Technology Transfer
Uncontrolled Keywords:
/dk/atira/pure/subjectarea/asjc/1700/1710
Subjects:
ID Code:
149555
Deposited By:
Deposited On:
02 Dec 2020 09:59
Refereed?:
Yes
Published?:
In Press
Last Modified:
18 Dec 2020 07:19