Items where Author is "Mavridou, Anastasia"

Grompanopoulos, Christos and Gouglidis, Antonios and Mavridou, Anastasia (2021) Specifying and Verifying Usage Control Models and Policies in TLA+. International Journal on Software Tools for Technology Transfer, 23 (5). pp. 685-700. ISSN 1433-2779

Gouglidis, Antonios and Grompanopoulos, Christos and Mavridou, Anastasia (2018) Formal Verification of Usage Control Models : A Case Study of UseCON Using TLA+. In: Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018) :. EPTCS . EPTCS, GRC, pp. 52-64.