Cloud risk analysis by textual models

Authors:
Philipp Zech;Michael Felderer;Ruth Breu
Affiliations:
University of Innsbruck, Tyrol, Austria;University of Innsbruck, Tyrol, Austria;University of Innsbruck, Tyrol, Austria
Venue:
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing
Year:
2012

Citing 7
Cited 1

The grid: blueprint for a new computing infrastructure

The grid: blueprint for a new computing infrastructure
Answer set programming and plan generation

Artificial Intelligence
An A-Prolog Decision Support System for the Space Shuttle

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Towards Unifying Vulnerability Information for Attack Graph Construction

ISC '09 Proceedings of the 12th International Conference on Information Security
Using non-monotonic reasoning to manage uncertainty in railway asset diagnostics

Expert Systems with Applications: An International Journal
Validating and restoring defense in depth using attack graphs

MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Answer set programming at a glance

Communications of the ACM

CASE 2.0: on key success factors for cloud-aided software engineering

Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development of secure software systems strongly relies on the availability of a known risk profile. In cloud computing, such a known risk profile does not exist yet, resulting in highly insecure cloud deployments. In our paper we propose a textual modeling language for cloud deployments making it possible to derive a risk profile using a risk analysis, based on stable model semantics.