Simeon Veloudis

发表

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

Gregoris Mentzas, Giannis Verginadis, Iraklis Paraskakis, 2019, Future Gener. Comput. Syst..

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

Gregoris Mentzas, Giannis Verginadis, Iraklis Paraskakis, 2016, CLOSER.

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

Gregoris Mentzas, Giannis Verginadis, Iraklis Paraskakis, 2017, CLOSER.

Data Distribution and Encryption Modelling for PaaS-enabled Cloud Security

Gregoris Mentzas, Giannis Verginadis, Iraklis Paraskakis, 2016, 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom).

A Web-based Tool for Spatiotemporal Filtering and Continuous Animation

Alex Vakaloudis, Simeon Veloudis, 2011, WEBIST.

Linked USDL Business Policy Specifications as WS-Agreement Templates

Iraklis Paraskakis, Simeon Veloudis, Ioannis Arampatzis, 2014, ESOCC Workshops.

A formal approach to modelling real-time critical systems

Simeon Veloudis, 2004 .

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

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2019, CLOSER.

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

Giannis Verginadis, Iraklis Paraskakis, Andreas Friesen, 2015, BCI.

Ontological Templates for Modelling Security Policies in Cloud Environments

Iraklis Paraskakis, Simeon Veloudis, 2016, PCI.

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

Simeon Veloudis, Nimal Nissanke, N. Nissanke, 2016, Comput. J..

Derivation of Broker Policies from Cloud Hosting Platform Service Descriptions

Iraklis Paraskakis, Andreas Friesen, Simeon Veloudis, 2014, ESOCC Workshops.

Modelling Coordinated Atomic Actions in Timed CSP

Simeon Veloudis, Nimal Nissanke, 2000, FTRTFT.

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

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2015, PRO-VE.

An approach to modelling and analysis of coordinated atomic actions

Simeon Veloudis, Nimal Nissanke, N. Nissanke, 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

Context-aware Security Models for PaaS-enabled Access Control

Gregoris Mentzas, Giannis Verginadis, Iraklis Paraskakis, 2016, CLOSER.

A formal framework to support dynamic authorisation in collaborative environments

Christos Ilioudis, Simeon Veloudis, George Pangalos, 2014, Int. J. Comput. Sci. Eng..

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

Gregoris Mentzas, Giannis Verginadis, Iraklis Paraskakis, 2017, 2017 IEEE 30th International Symposium on Computer-Based Medical Systems (CBMS).

Ontological Framework for Ensuring Correctness of Security Policies in Cloud Environments

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2017, BCI.

Underpinning a Cloud Brokerage Service Framework for Quality Assurance and Optimization

Giannis Verginadis, Iraklis Paraskakis, Andreas Friesen, 2014, 2014 IEEE 6th International Conference on Cloud Computing Technology and Science.

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

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2017, Service Oriented Computing and Applications.

A Survey on Context Security Policies in the Cloud

Gregoris Mentzas, Giannis Verginadis, Iraklis Paraskakis, 2015, 2015 IEEE/ACM 8th International Conference on Utility and Cloud Computing (UCC).

Duration Calculus in the Specification of Safety Requirements

Simeon Veloudis, Nimal Nissanke, 1998, FTRTFT.

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

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2017, UCC.

Continuous Quality Assurance and Optimisation in Cloud-Based Virtual Enterprises

Giannis Verginadis, Iraklis Paraskakis, Andreas Friesen, 2014, PRO-VE.

A generic mechanism for cloud service governance and quality control

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2015, Panhellenic Conference on Informatics.

Validating Policies for Dynamic and Heterogeneous Cloud Environments

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2016, PRO-VE.

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

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2017, ESOCC.

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

Simone Braun, Gregoris Mentzas, Giannis Verginadis, 2014, CCB '14.

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

Gregoris Mentzas, Iraklis Paraskakis, Simeon Veloudis, 2017, CLOSER 2017.

Ontological Definition of Governance Framework for Security Policies in Cloud Environments

Iraklis Paraskakis, Simeon Veloudis, Christos Petsos, 2017, PCI.

Context-Aware Policy Enforcement for PaaS-Enabled Access Control

Gregoris Mentzas, Iraklis Paraskakis, Panagiotis Gouvas, 2019, IEEE Transactions on Cloud Computing.

Defining an Ontological Framework for Modelling Policies in Cloud Environments

Iraklis Paraskakis, Simeon Veloudis, I. Paraskakis, 2016, 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom).