Maria Krotsiani
Maria Krotsiani
City, University of London
Verified email at
TitleCited byYear
Incremental certification of cloud services
M Krotsiani, G Spanoudakis, K Mahbub
SECURWARE 2013-7th International Conference on Emerging Security Information …, 2013
Continuous certification of non-repudiation in cloud storage services
M Krotsiani, G Spanoudakis
2014 IEEE 13th International Conference on Trust, Security and Privacy in …, 2014
A multi-layer and multitenant cloud assurance evaluation methodology
A Hudic, M Tauber, T Lorünser, M Krotsiani, G Spanoudakis, A Mauthe, ...
2014 IEEE 6th International Conference on Cloud Computing Technology and …, 2014
Monitoring-based certification of cloud service security
M Krotsiani, G Spanoudakis, C Kloukinas
OTM Confederated International Conferences" On the Move to Meaningful …, 2015
Pattern Based Design and Verification of Secure Service Compositions
L Pino, G Spanoudakis, M Krotsiani, K Mahbub
IEEE Transactions on Services Computing, 2017
Cloud Certification Process Validation using Formal Methods
M Krotsiani, C Kloukinas, G Spanoudakis
International Conference on Service-Oriented Computing, 65-79, 2017
Model driven certification of Cloud service security based on continuous monitoring
M Krotsiani
City University London, 2016
Big Data Assurance Evaluation: An SLA-Based Approach
CA Ardagna, E Damiani, M Krotsiani, C Kloukinas, G Spanoudakis
2018 IEEE International Conference on Services Computing (SCC), 299-303, 2018
Validation of Service Level Agreements using Probabilistic Model Checking
M Krotsiani, C Kloukinas, G Spanoudakis
2017 IEEE International Conference on Services Computing (SCC), 148-155, 2017
The system can't perform the operation now. Try again later.
Articles 1–9