Simeon Veloudis

Vasiliki-Despoina Kostaridou

Gregoris Mentzas

IEEE Trans. Cloud Comput., 2022

A Personalized User Authentication System Based on EEG Signals.

[BibT_eX]

[DOI]

Christos Stergiadis

Vasiliki-Despoina Kostaridou

Dimitrios Kazis

Manousos A. Klados

Sensors, 2022

A Personalised User Authentication System based on EEG Signals.

[BibT_eX]

[DOI]

Christos Stergiadis

Dimitrios Kazis

Manousos A. Klados

CoRR, 2022

2019

Achieving security-by-design through ontology-driven attribute-based access control in cloud environments.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

An Ontological Framework for Reasoning about Relations between Complex Access Control Policies in Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Cloud Computing and Services Science, 2019

2017

Cloud service brokerage: enhancing resilience in virtual enterprises through service governance and quality assurance.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2017

An Ontological Framework for Determining the Repercussions of Retirement Actions Targeted at Complex Access Control Policies in Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 10th International Conference on Utility and Cloud Computing, 2017

Ontological Definition of Governance Framework for Security Policies in Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the 21st Pan-Hellenic Conference on Informatics, 2017

Foundations for Designing, Defining, Validating and Executing Access Control Policies in Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2017

An Ontological Template for Context Expressions in Attribute-based Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2017, 2017

Ontological Templates for Regulating Access to Sensitive Medical Data in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017

Ontological Framework for Ensuring Correctness of Security Policies in Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the 8th Balkan Conference in Informatics, 2017

Policy Management and Enforcement Using OWL and SWRL for the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2017

2016

A Novel Permission Hierarchy for RBAC for Dealing with SoD in MAC Models.

[BibT_eX]

[DOI]

Comput. J., 2016

Ontological Templates for Modelling Security Policies in Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the 20th Pan-Hellenic Conference on Informatics, 2016

Validating Policies for Dynamic and Heterogeneous Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the Collaboration in a Hyperconnected World, 2016

Data Distribution and Encryption Modelling for PaaS-enabled Cloud Security.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science, 2016

Defining an Ontological Framework for Modelling Policies in Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science, 2016

Context-aware Security Models for PaaS-enabled Access Control.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2016, 2016

A Generic Framework for Representing Context-Aware Security Policies in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Services Science - 6th International Conference, 2016

2015

A Survey on Context Security Policies in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

A generic mechanism for cloud service governance and quality control.

[BibT_eX]

[DOI]

Proceedings of the 19th Panhellenic Conference on Informatics, 2015

Cloud Service Brokerage: Strengthening Service Resilience in Cloud-Based Virtual Enterprises.

[BibT_eX]

[DOI]

Proceedings of the Risks and Resilience of Collaborative Networks, 2015

Underpinning a Cloud Brokerage Service Framework for Quality Assurance and Optimisation: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 7th Balkan Conference on Informatics Conference, 2015

2014

A formal framework to support dynamic authorisation in collaborative environments.

[BibT_eX]

[DOI]

Dimitrios A. Baltatzis

Christos Ilioudis

George Pangalos

Int. J. Comput. Sci. Eng., 2014

Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems.

[BibT_eX]

[DOI]

Anthony J. H. Simons

Konstantinos Bratanis

Proceedings of the 2nd International Workshop on CrossCloud Systems, 2014

Continuous Quality Assurance and Optimisation in Cloud-Based Virtual Enterprises.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

Derivation of Broker Policies from Cloud Hosting Platform Service Descriptions.

[BibT_eX]

[DOI]

Andreas Friesen

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Linked USDL Business Policy Specifications as WS-Agreement Templates.

[BibT_eX]

[DOI]

Ioannis Arampatzis

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Underpinning a Cloud Brokerage Service Framework for Quality Assurance and Optimization.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2011

A Web-based Tool for Spatiotemporal Filtering and Continuous Animation.

[BibT_eX]

Alex Vakaloudis

Proceedings of the WEBIST 2011, 2011

2005

An approach to modelling and analysis of coordinated atomic actions.

[BibT_eX]

[DOI]

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2004

A formal approach to modelling real-time critical systems.

[BibT_eX]

[DOI]

PhD thesis, 2004

2000

Modelling Coordinated Atomic Actions in Timed CSP.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1998

Duration Calculus in the Specification of Safety Requirements.

[BibT_eX]

[DOI]