Items where Author is "Krotsiani, M."
Ardagna, C. A., Bena, N., Hebert, C. , Krotsiani, M., Kloukinas, C. 
ORCID: 0000-0003-0424-7425 & Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2023).
Big Data Assurance: An Approach Based on Service-Level Agreements.
Big Data, 11(3),
pp. 239-254.
doi: 10.1089/big.2021.0369
Pino, L., Spanoudakis, G., Krotsiani, M. & Mahbub, K. (2020). Pattern Based Design and Verification of Secure Service Compositions. IEEE Transactions on Services Computing, 13(3), pp. 515-528. doi: 10.1109/tsc.2017.2690430
Ardagna, C. A., Damiani, E., Krotsiani, M. , Kloukinas, C. ORCID: 0000-0003-0424-7425 & Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2018).
Big Data Assurance Evaluation: An SLA-Based Approach.
In:
2018 IEEE International Conference on Services Computing (SCC).
2018 IEEE International Conference on Services Computing (SCC), 02 - 07 July 2018, San Francisco, CA, USA.
doi: 10.1109/SCC.2018.00053
Krotsiani, M., Kloukinas, C. & Spanoudakis, G. (2017). Cloud Certification Process Validation using Formal Methods. In: Maximilien, M., Vallecillo, A., Wang, J. & Oriol, M. (Eds.), Service-Oriented Computing. ICSOC 2017. 15th International Conference on Service Oriented Computing (ICSOC 2017), 13-16 Nov 2017, Malaga, Spain.
Krotsiani, M., Kloukinas, C. & Spanoudakis, G. (2017). Validation of Service Level Agreements using Probabilistic Model Checking. Paper presented at the 14th IEEE International Conference on Services Computing, 25-30 Jun 2017, Honolulu, USA.
Krotsiani, M. (2016). Model driven certification of Cloud service security based on continuous monitoring. (Unpublished Doctoral thesis, City University London)
Krotsiani, M., Spanoudakis, G. & Kloukinas, C. (2015). Monitoring-Based Certification of Cloud Service Security. Lecture Notes in Computer Science, 9415, pp. 644-659. doi: 10.1007/978-3-319-26148-5_44
Krotsiani, M. & Spanoudakis, G. (2014). Continuous certification of non-repudiation in cloud storage services. Proceedings - 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 6, pp. 921-928. doi: 10.1109/trustcom.2014.122
Hudic, A., Tauber, M., Lorùˆnser, T. , Krotsiani, M., Spanoudakis, G., Mauthe, A. & Weippl, E. (2014). A Multi-Layer and Multi-Tenant Cloud Assurance Evaluation Methodology. In: IEEE. 2014 IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom), 15-18 Dec 2014, Singapore.
Krotsiani, M., Spanoudakis, G. & Mahbub, K. (2013). Incremental certification of cloud services. In: SECURWARE 2013 - 7th International Conference on Emerging Security Information, Systems and Technologies. SECURWARE 2013 - 7th International Conference on Emerging Security Information, Systems and Technologies, 25th - 31st August 2013, Barcelona, Spain.