Christos Grompanopoulos

According to our database, Christos Grompanopoulos authored at least 7 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Specifying and verifying usage control models and policies in TLA⁺.

Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou

Int. J. Softw. Tools Technol. Transf., 2021

2018

Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+.

Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

2014

Specification and verification of an attribute-based usage control approach for open and dynamic computing environments

Christos Grompanopoulos

PhD thesis, 2014

2012

A Use-Based Approach for Enhancing UCON.

Christos Grompanopoulos, Antonios Gouglidis, Ioannis Mavridis

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Towards Use-Based Usage Control.

Christos Grompanopoulos, Ioannis Mavridis

Proceedings of the Information Security and Privacy Research, 2012

Challenging issues of UCON in modern computing environments.

Christos Grompanopoulos, Ioannis Mavridis

Proceedings of the Balkan Conference in Informatics, 2012, 2012

2010

Towards Differentiated Utilization of Attribute Mutability for Access Control in Ubiquitous Computing.

Christos Grompanopoulos, Ioannis Mavridis

Proceedings of the 14th Panhellenic Conference on Informatics, 2010