Items where Author is "Grompanopoulos, Christos"

Journal Article

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

Contribution in Book/Report/Proceedings

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.

Grompanopoulos, Christos and Gouglidis, Antonios and Mavridis, Ioannis (2013) A use-based approach for enhancing UCON. In: Security and Trust Management :. Lecture Notes in Computer Science . Springer Verlag, GBR, pp. 81-96. ISBN 9783642380037