![]() | Up a level |
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
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), pp. 929-934. doi: 10.1109/TrustCom.2014.122
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).
(pp. 299-303). IEEE.
ISBN 978-1-5386-7250-1
doi: 10.1109/SCC.2018.00053
Krotsiani, M., Kloukinas, C. & Spanoudakis, G. (2017). Cloud Certification Process Validation using Formal Methods. Paper presented at the 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.
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. Paper presented at the 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. Paper presented at the SECURWARE 2013 - 7th International Conference on Emerging Security Information, Systems and Technologies, 25th - 31st August 2013, Barcelona, Spain.