@inproceedings{f6a3c9701b714374ab4d22dfbd5f34df,
title = "Formal security framework for agent based cloud systems",
abstract = "The adoption of cloud computing becomes hampered by the emergence of security problems. We aim in this paper to define a framework which clarifies the concepts of security in a cloud environment and can afterwards check a number of security properties. To achieve this objective, we propose a three-level approach: Modeling, Specification and Verification. In the first step, we propose an agent based modeling of cloud architecture in order to leverage the capabilities of software agents and consequently to reduce complexity. In specification step, we formally specify the concepts evoked in the modeling step and enrich them by others related to security. In the last step, we proceed to verify the security level in cloud environments in order to better control their entities behaviour.",
keywords = "agent technology, Cloud computing, formal methods, modeling, security, specification, verification",
author = "Fatma Masmoudi and Monia Loulou and Kacem, \{Ahmed Hadj\}",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 3rd International Workshop on Advanced Information Systems for Enterprises, IWAISE 2014 ; Conference date: 10-11-2014 Through 12-11-2014",
year = "2014",
month = dec,
day = "5",
doi = "10.1109/IWAISE.2014.15",
language = "English",
series = "Proceedings - 2014 International Workshop on Advanced Information Systems for Enterprises, IWAISE 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "15--21",
booktitle = "Proceedings - 2014 International Workshop on Advanced Information Systems for Enterprises, IWAISE 2014",
address = "United States",
}