Spécication et analyse formelle des politiques de sécurité dans le cloud computing

Size: px
Start display at page:

Download "Spécication et analyse formelle des politiques de sécurité dans le cloud computing"

Transcription

1 Spécication et analyse formelle des politiques de sécurité dans le cloud computing Asma GUESMI, Patrice CLEMENTE, Frédéric LOULERGUE, Pascal BERTHOMÉ Laboratoire d'informatique Fondamentale d'orléans (LIFO) Université d'orléans, INSA Centre-Val de Loire SEC Premier atelier sur la Sécurité dans les clouds June 30, 2015 Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

2 Outline 1 Introduction Context 2 Contribution General Process Requirements specication using Alloy Alloy example 3 Conclusion Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

3 Introduction Context Problematic & Motivation Cloud brokers negotiate only service and resources requirements Cloud brokers do not consider security requirements Contribution 1 The customer can specify the requirements for the resources to deploy in the cloud 2 Formal verication of the cloud systems and the security policies 3 Using the Alloy language for the requirements specication 4 Using Alloy analyzer to check the satisability of security and access control properties Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

4 General Process Customer User Interface Requirements Editing Model description Resources Functional properties nonfunctional properties Placement configurations Visioning Java Alloy API text2alloy Alloy2text Sys req Counter Example Placement not found Placement found Analyzing the system req Broker Consistent system req Placement Phase 1 Match functional req Phase 2 Match nonfunctional req Placement found Offers Offers Provider Provider Deployment confirmation Deployment Figure: The workow of the broker application Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

5 Requirements specication using Alloy Requirements specication The model: virtual machines (vms), storage nodes Functional requirements (cpu, ram and storage) Non-functional requirements (security, usage and access control) Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

6 Requirements specication using Alloy Non-fonctional requirements I Usage properties Collaboration, Concurrence, Isolation The customer species the type of relations between resources Collaborating vms should be related by information ows Concurrent vms should not be related by information ows Security Properties Condentiality, Integrity, Privilege separation, Placement constraints Concurrent vms should be allocated on dierent clusters, and should not be related by information ows Collaborating vms should reside the same cluster, and should be related by information ows Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

7 Requirements specication using Alloy Non-fonctional requirements II Access Control Specify rules to manage how nal users can access to the client resources A user having the visitor status cannot write a comment on a document A user cannot access to two concurrent vms Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

8 Requirements specication using Alloy Formal verication Using Alloy analyzer for the automatic syntactic and semantic verication Detection conicts in the description Verication of the consistency of the customer's system Verication of the satisability of security properties Alloy returns a counter-example when a specication is not satised Alloy places the resources in cloud providers, in a way that fullls all customer requirements Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

9 Alloy example Alloy example I Security property There is no information that ows into or outside all isolated vms s i g Customer {vms : some VM} s i g VM{ a t t r i b u t e s : s e t A t t r i b u t e } s i g A t t r i b u t e {} a b s t r a c t one s i g D i r F l o w s {vm_flow : s e t VM >VM } a b s t r a c t one s i g I s o l a t i o n { i s o l a t e d : s e t VM} p r e d fact_vm_flow_isol { a l l v i :VM no v j : VM v i i n I s o l a t i o n. i s o l a t e d && ( v i >v j i n D i r F l o w s. vm_flow v j >v i i n D i r F l o w s. vm_flow )} c h e c k { f act_vm_flow_isol } Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

10 Alloy example Alloy example II Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

11 Conclusion Conclusion 1 Describe a general process for cloud brokering considering security [1, 2] 2 Use formal language to describe complex cloud systems, and to express ne grained security requirements 3 Using formal methods to place resources in the cloud 4 Using formal methods to analyze complex cloud systems, to check their consistency and the satisability of security policies. Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

12 References Asma Guesmi and Patrice Clemente. Access control and security properties requirements specication for clouds' seclas. In Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on, volume 1, pages IEEE, Asma Guesmi, Patrice Clemente, Frédéric Loulergue, and Pascal Berthomé. Cloud resources placement based on functional and non-functional requirements. In SECRYPT Proceedings of the 12th International Conference on Security and Cryptography, Colmar, France, July, Asma GUESMI (LIFO) Cloud Security Broker June 30, / 11

Security Challenges & Opportunities in Software Defined Networks (SDN)

Security Challenges & Opportunities in Software Defined Networks (SDN) Security Challenges & Opportunities in Software Defined Networks (SDN) June 30 th, 2015 SEC2 2015 Premier atelier sur la sécurité dans les Clouds Nizar KHEIR Cyber Security Researcher Orange Labs Products

More information

Requirements document for an automated teller machine. network

Requirements document for an automated teller machine. network Requirements document for an automated teller machine network August 5, 1996 Contents 1 Introduction 2 1.1 Purpose : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 Scope

More information

IaaS Cloud Architectures: Virtualized Data Centers to Federated Cloud Infrastructures

IaaS Cloud Architectures: Virtualized Data Centers to Federated Cloud Infrastructures IaaS Cloud Architectures: Virtualized Data Centers to Federated Cloud Infrastructures Dr. Sanjay P. Ahuja, Ph.D. 2010-14 FIS Distinguished Professor of Computer Science School of Computing, UNF Introduction

More information

The Sirocco multi-cloud management framework

The Sirocco multi-cloud management framework The Sirocco multi-cloud management framework Frédéric Dang Tran Paweł Rubach Orange Labs {frederic.dangtran,pawel.rubach}@orange.com Outline Context and objectives Sirocco architecture overview Focus on

More information

Performance Testing of a Cloud Service

Performance Testing of a Cloud Service Performance Testing of a Cloud Service Trilesh Bhurtun, Junior Consultant, Capacitas Ltd Capacitas 2012 1 Introduction Objectives Environment Tests and Results Issues Summary Agenda Capacitas 2012 2 1

More information

Dynamic Resource allocation in Cloud

Dynamic Resource allocation in Cloud Dynamic Resource allocation in Cloud ABSTRACT: Cloud computing allows business customers to scale up and down their resource usage based on needs. Many of the touted gains in the cloud model come from

More information

Seed4C: A Cloud Security Infrastructure validated on Grid 5000

Seed4C: A Cloud Security Infrastructure validated on Grid 5000 Seed4C: A Cloud Security Infrastructure validated on Grid 5000 E. Caron 1, A. Lefray 1, B. Marquet 2, and J. Rouzaud-Cornabas 1 1 Université de Lyon. LIP Laboratory. UMR CNRS - ENS Lyon - INRIA - UCBL

More information

Flauncher and DVMS Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically

Flauncher and DVMS Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically Flauncher and Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically Daniel Balouek, Adrien Lèbre, Flavien Quesnel To cite this version: Daniel Balouek,

More information

Développement logiciel pour le Cloud (TLC)

Développement logiciel pour le Cloud (TLC) Développement logiciel pour le Cloud (TLC) 7. Infrastructure-as-a-Service Guillaume Pierre Université de Rennes 1 Fall 2012 http://www.globule.org/~gpierre/ Développement logiciel pour le Cloud (TLC) 1

More information

Self-organization of applications and systems to optimize resources usage in virtualized data centers

Self-organization of applications and systems to optimize resources usage in virtualized data centers Ecole des Mines de Nantes Self-organization of applications and systems to optimize resources usage in virtualized data centers Teratec 06/28 2012 Jean- Marc Menaud Ascola team EMNantes-INRIA, LINA Motivations

More information

Infrastructure as a Service (IaaS)

Infrastructure as a Service (IaaS) Infrastructure as a Service (IaaS) (ENCS 691K Chapter 4) Roch Glitho, PhD Associate Professor and Canada Research Chair My URL - http://users.encs.concordia.ca/~glitho/ References 1. R. Moreno et al.,

More information

Con PaaS. ConPaaS: a Platform as a Service for Multi-clouds. Guillaume Pierre Rennes 1 University, France www.conpaas.eu

Con PaaS. ConPaaS: a Platform as a Service for Multi-clouds. Guillaume Pierre Rennes 1 University, France www.conpaas.eu ConPaaS: a Platform as a Service for Multi-clouds Guillaume Pierre Rennes 1 University, France www.conpaas.eu Con PaaS ConPaaS: a Platform as a Service for Multi-clouds 1 / 47 Table of Contents 1 Introduction

More information

Introduction to Cloud Computing. Srinath Beldona srinath_beldona@yahoo.com

Introduction to Cloud Computing. Srinath Beldona srinath_beldona@yahoo.com Introduction to Cloud Computing Srinath Beldona srinath_beldona@yahoo.com Agenda Pre-requisites Course objectives What you will learn in this tutorial? Brief history Is cloud computing new? Why cloud computing?

More information

Scyld Cloud Manager User Guide

Scyld Cloud Manager User Guide Scyld Cloud Manager User Guide Preface This guide describes how to use the Scyld Cloud Manager (SCM) web portal application. Contacting Penguin Computing 45800 Northport Loop West Fremont, CA 94538 1-888-PENGUIN

More information

A Study on Analysis and Implementation of a Cloud Computing Framework for Multimedia Convergence Services

A Study on Analysis and Implementation of a Cloud Computing Framework for Multimedia Convergence Services A Study on Analysis and Implementation of a Cloud Computing Framework for Multimedia Convergence Services Ronnie D. Caytiles and Byungjoo Park * Department of Multimedia Engineering, Hannam University

More information

Avoiding Performance Bottlenecks in Hyper-V

Avoiding Performance Bottlenecks in Hyper-V Avoiding Performance Bottlenecks in Hyper-V Identify and eliminate capacity related performance bottlenecks in Hyper-V while placing new VMs for optimal density and performance Whitepaper by Chris Chesley

More information

2) Xen Hypervisor 3) UEC

2) Xen Hypervisor 3) UEC 5. Implementation Implementation of the trust model requires first preparing a test bed. It is a cloud computing environment that is required as the first step towards the implementation. Various tools

More information

Roger Shupert, Integration Specialist

Roger Shupert, Integration Specialist Roger Shupert, Integration Specialist } Lake Michigan College has been using Microsoft Hyper-V as it s primary server virtualization platform since 2008, in this presentation we will discuss the following;

More information

Energy-Aware Multi-agent Server Consolidation in Federated Clouds

Energy-Aware Multi-agent Server Consolidation in Federated Clouds Energy-Aware Multi-agent Server Consolidation in Federated Clouds Alessandro Ferreira Leite 1 and Alba Cristina Magalhaes Alves de Melo 1 Department of Computer Science University of Brasilia, Brasilia,

More information

Open Source Cloud Computing Management with OpenNebula

Open Source Cloud Computing Management with OpenNebula CloudCamp Campus Party July 2011, Valencia Open Source Cloud Computing Management with OpenNebula Javier Fontán Muiños dsa-research.org Distributed Systems Architecture Research Group Universidad Complutense

More information

Leveraging BlobSeer to boost up the deployment and execution of Hadoop applications in Nimbus cloud environments on Grid 5000

Leveraging BlobSeer to boost up the deployment and execution of Hadoop applications in Nimbus cloud environments on Grid 5000 Leveraging BlobSeer to boost up the deployment and execution of Hadoop applications in Nimbus cloud environments on Grid 5000 Alexandra Carpen-Amarie Diana Moise Bogdan Nicolae KerData Team, INRIA Outline

More information

Evaluation Methodology of Converged Cloud Environments

Evaluation Methodology of Converged Cloud Environments Krzysztof Zieliński Marcin Jarząb Sławomir Zieliński Karol Grzegorczyk Maciej Malawski Mariusz Zyśk Evaluation Methodology of Converged Cloud Environments Cloud Computing Cloud Computing enables convenient,

More information

A Generic Auto-Provisioning Framework for Cloud Databases

A Generic Auto-Provisioning Framework for Cloud Databases A Generic Auto-Provisioning Framework for Cloud Databases Jennie Rogers 1, Olga Papaemmanouil 2 and Ugur Cetintemel 1 1 Brown University, 2 Brandeis University Instance Type Introduction Use Infrastructure-as-a-Service

More information

Networks and Services

Networks and Services Networks and Services Dr. Mohamed Abdelwahab Saleh IET-Networks, GUC Fall 2015 TOC 1 Infrastructure as a Service 2 Platform as a Service 3 Software as a Service Infrastructure as a Service Definition Infrastructure

More information

Interoperability in Cloud Federations

Interoperability in Cloud Federations Interoperability in Cloud Federations Yvon Jegou INRIA-Rennes, France Contrail is co-funded by the EC 7 th Framework Programme under Grant Agreement n o 257438 Cloud Federation Application: a set of virtual

More information

Virtual Machines and Cloud Cluster. Dan Thanh Ton University of Colorado Denver 2010 SIParCS Internship Mentor: Irfan Elahi

Virtual Machines and Cloud Cluster. Dan Thanh Ton University of Colorado Denver 2010 SIParCS Internship Mentor: Irfan Elahi Virtual Machines and Cloud Cluster Dan Thanh Ton University of Colorado Denver 2010 SIParCS Internship Mentor: Irfan Elahi Overview Installed two operadng systems on one computer Installed two virtual

More information

Data Centers and Cloud Computing. Data Centers. MGHPCC Data Center. Inside a Data Center

Data Centers and Cloud Computing. Data Centers. MGHPCC Data Center. Inside a Data Center Data Centers and Cloud Computing Intro. to Data centers Virtualization Basics Intro. to Cloud Computing Data Centers Large server and storage farms 1000s of servers Many TBs or PBs of data Used by Enterprises

More information

Experimental Awareness of CO 2 in Federated Cloud Sourcing

Experimental Awareness of CO 2 in Federated Cloud Sourcing Experimental Awareness of CO 2 in Federated Cloud Sourcing Julia Wells, Atos Spain This project is partially funded by European Commission under the 7th Framework Programme - Grant agreement no. 318048

More information

Frédéric Dang Tran Orange Labs frederic.dangtran@orange.com

Frédéric Dang Tran Orange Labs frederic.dangtran@orange.com Sirocco: an open-source multi-cloud manager Frédéric Dang Tran Orange Labs frederic.dangtran@orange.com Outline Objectives Key features API and resource model Middleware Architecture Roadmap 2012 2 Objectives

More information

MyCloudLab: An Interactive Web-based Management System for Cloud Computing Administration

MyCloudLab: An Interactive Web-based Management System for Cloud Computing Administration MyCloudLab: An Interactive Web-based Management System for Cloud Computing Administration Hoi-Wan Chan 1, Min Xu 2, Chung-Pan Tang 1, Patrick P. C. Lee 1 & Tsz-Yeung Wong 1, 1 Department of Computer Science

More information

Deploying complex applications to Google Cloud. Olia Kerzhner olia@google.com

Deploying complex applications to Google Cloud. Olia Kerzhner olia@google.com Deploying complex applications to Google Cloud Olia Kerzhner olia@google.com Cloud VMs Networks Databases Object Stores Firewalls Disks LoadBalancers Control..? Application stacks are complex Storage External

More information

Data Centers and Cloud Computing. Data Centers

Data Centers and Cloud Computing. Data Centers Data Centers and Cloud Computing Intro. to Data centers Virtualization Basics Intro. to Cloud Computing 1 Data Centers Large server and storage farms 1000s of servers Many TBs or PBs of data Used by Enterprises

More information

Installation Guide. Step-by-Step Guide for clustering Hyper-V virtual machines with Sanbolic s Kayo FS. Table of Contents

Installation Guide. Step-by-Step Guide for clustering Hyper-V virtual machines with Sanbolic s Kayo FS. Table of Contents Distributed Data Center Virtualization using Windows Server 2008 Hyper-V and Failover Clustering beta release* *The clustered disk removal section will become obsolete once the solution ships in early

More information

Deployment of Private, Hybrid & Public Clouds with OpenNebula

Deployment of Private, Hybrid & Public Clouds with OpenNebula EL / LAK (FOSS) 2010 May 14th, 2010 Deployment of Private, Hybrid & Public Clouds with OpenNebula University Complutense of Madrid The Anatomy of an IaaS Cloud Deployment of Private, Hybrid & Public Clouds

More information

Dragon Medical Enterprise Network Edition Technical Note: Requirements for DMENE Networks with virtual servers

Dragon Medical Enterprise Network Edition Technical Note: Requirements for DMENE Networks with virtual servers Dragon Medical Enterprise Network Edition Technical Note: Requirements for DMENE Networks with virtual servers This section includes system requirements for DMENE Network configurations that utilize virtual

More information

Jimmy Goffaux @amto_res. Hébergement Cloud - TechDay

Jimmy Goffaux @amto_res. Hébergement Cloud - TechDay Jimmy Goffaux @amto_res Hébergement Cloud - TechDay Sommaire Besoin Chiffres Stockage : Ceph et local ACL et Permissions Hooks DNS Contextualisation Conclusion Besoin Besoin interne : - Industrialisation

More information

Minimizing technical complexities in emerging cloud computing platforms

Minimizing technical complexities in emerging cloud computing platforms Minimizing technical complexities in emerging cloud computing platforms Andreas Menychtas 1, George Kousiouris 1, Dimosthenis Kyriazis 1, Theodora Varvarigou 1 National Technical University of Athens,

More information

System Monitoring and Reporting

System Monitoring and Reporting This chapter contains the following sections: Dashboard, page 1 Summary, page 2 Inventory Management, page 3 Resource Pools, page 4 Clusters, page 4 Images, page 4 Host Nodes, page 6 Virtual Machines (VMs),

More information

Monitoring Elastic Cloud Services

Monitoring Elastic Cloud Services Monitoring Elastic Cloud Services trihinas@cs.ucy.ac.cy Advanced School on Service Oriented Computing (SummerSoc 2014) 30 June 5 July, Hersonissos, Crete, Greece Presentation Outline Elasticity in Cloud

More information

IBM Application Server on Cloud

IBM Application Server on Cloud Government Efficiency through Innovative Reform IBM Application Server on Cloud Service Definition Copyright IBM Corporation 2014 Table of Contents Overview... 1 Major differentiators... 1 Main Product

More information

Stratusphere Solutions

Stratusphere Solutions Stratusphere Solutions Deployment Best Practices Guide Introduction This guide has been authored by experts at Liquidware Labs in order to provide a baseline as well as recommendations for a best practices

More information

VM Management for Green Data Centres with the OpenNebula Virtual Infrastructure Engine

VM Management for Green Data Centres with the OpenNebula Virtual Infrastructure Engine OGF-EU: Using IT to reduce Carbon Emissions and Delivering the Potential of Energy Efficient Computing OGF25, Catania, Italy 5 March 2009 VM Management for Green Data Centres with the OpenNebula Virtual

More information

Elastic Management of Cluster based Services in the Cloud

Elastic Management of Cluster based Services in the Cloud First Workshop on Automated Control for Datacenters and Clouds (ACDC09) June 19th, Barcelona, Spain Elastic Management of Cluster based Services in the Cloud Rafael Moreno Vozmediano, Ruben S. Montero,

More information

Cloud Computing Simulation Using CloudSim

Cloud Computing Simulation Using CloudSim Cloud Computing Simulation Using CloudSim Ranjan Kumar #1, G.Sahoo *2 # Assistant Professor, Computer Science & Engineering, Ranchi University, India Professor & Head, Information Technology, Birla Institute

More information

Brian Amedro CTO. Worldwide Customers

Brian Amedro CTO. Worldwide Customers Denis Caromel CEO Brian Amedro CTO Cloud Enterprise Applications (B2B) Reduce Costs (IT) + Reduce Pains (Time) Worldwide Customers 1 1 Software company born of INRIA in 2007 Software Editor, Open Source

More information

FREE AND OPEN SOURCE SOFTWARE FOR CLOUD COMPUTING SERENA SPINOSO (serena.spinoso@polito.it) FULVIO VALENZA (fulvio.valenza@polito.

FREE AND OPEN SOURCE SOFTWARE FOR CLOUD COMPUTING SERENA SPINOSO (serena.spinoso@polito.it) FULVIO VALENZA (fulvio.valenza@polito. + FREE AND OPEN SOURCE SOFTWARE FOR CLOUD COMPUTING SERENA SPINOSO (serena.spinoso@polito.it) FULVIO VALENZA (fulvio.valenza@polito.it) + OUTLINE INTRODUCTION OF CLOUD DEFINITION OF CLOUD BASIC CLOUD COMPONENTS

More information

Can High-Performance Interconnects Benefit Memcached and Hadoop?

Can High-Performance Interconnects Benefit Memcached and Hadoop? Can High-Performance Interconnects Benefit Memcached and Hadoop? D. K. Panda and Sayantan Sur Network-Based Computing Laboratory Department of Computer Science and Engineering The Ohio State University,

More information

Fabien Hermenier. 2bis rue Bon Secours 44000 Nantes. hermenierfabien@gmail.com http://www.emn.fr/x-info/fhermeni/

Fabien Hermenier. 2bis rue Bon Secours 44000 Nantes. hermenierfabien@gmail.com http://www.emn.fr/x-info/fhermeni/ Fabien Hermenier 2bis rue Bon Secours 44000 Nantes hermenierfabien@gmail.com http://www.emn.fr/x-info/fhermeni/ Activities Oct. 2009 - Sep. 2010 : Post-doctoral researcher École des Mines de Nantes, ASCOLA

More information

HPC performance applications on Virtual Clusters

HPC performance applications on Virtual Clusters Panagiotis Kritikakos EPCC, School of Physics & Astronomy, University of Edinburgh, Scotland - UK pkritika@epcc.ed.ac.uk 4 th IC-SCCE, Athens 7 th July 2010 This work investigates the performance of (Java)

More information

Using SUSE Cloud to Orchestrate Multiple Hypervisors and Storage at ADP

Using SUSE Cloud to Orchestrate Multiple Hypervisors and Storage at ADP Using SUSE Cloud to Orchestrate Multiple Hypervisors and Storage at ADP Agenda ADP Cloud Vision and Requirements Introduction to SUSE Cloud Overview Whats New VMWare intergration HyperV intergration ADP

More information

A Cost-Evaluation of MapReduce Applications in the Cloud

A Cost-Evaluation of MapReduce Applications in the Cloud 1/23 A Cost-Evaluation of MapReduce Applications in the Cloud Diana Moise, Alexandra Carpen-Amarie Gabriel Antoniu, Luc Bougé KerData team 2/23 1 MapReduce applications - case study 2 3 4 5 3/23 MapReduce

More information

STeP-IN SUMMIT 2013. June 18 21, 2013 at Bangalore, INDIA. Performance Testing of an IAAS Cloud Software (A CloudStack Use Case)

STeP-IN SUMMIT 2013. June 18 21, 2013 at Bangalore, INDIA. Performance Testing of an IAAS Cloud Software (A CloudStack Use Case) 10 th International Conference on Software Testing June 18 21, 2013 at Bangalore, INDIA by Sowmya Krishnan, Senior Software QA Engineer, Citrix Copyright: STeP-IN Forum and Quality Solutions for Information

More information

Heterogeneous Cloud Computing for Research

Heterogeneous Cloud Computing for Research Heterogeneous Cloud Computing for Research Managing Cloud Services with ConPaaS Guillaume Pierre http://www.conpaas.eu/ Heterogeneous Cloud Computing for Research 1 / 34 Table of Contents 1 Introduction

More information

Planning Configuration Relocation on the BonFIRE Infrastructure

Planning Configuration Relocation on the BonFIRE Infrastructure Planning Configuration Relocation on the BonFIRE Infrastructure!! H. Herry and P. Anderson School of Informatics, University of Edinburgh UNICO CloudCom Workshop 5 December 2013, Bristol, UK Outline Motivation

More information

THE CC1 PROJECT SYSTEM FOR PRIVATE CLOUD COMPUTING

THE CC1 PROJECT SYSTEM FOR PRIVATE CLOUD COMPUTING Computer Science 13 (2) 2012 http://dx.doi.org/10.7494/csci.2012.13.2.103 J. Chwastowski R. Grzymkowski M. Kruk M. Nabożny Z. Natkaniec A. Olszewski H. Pa lka Z. Sobocińska T. Sośnicki M. Szostak P. Syktus

More information

A Cloud Test Bed for China Railway Enterprise Data Center

A Cloud Test Bed for China Railway Enterprise Data Center A Cloud Test Bed for China Railway Enterprise Data Center BACKGROUND China Railway consists of eighteen regional bureaus, geographically distributed across China, with each regional bureau having their

More information

Data Flow-based Validation of Web Services Compositions: Perspectives and Examples

Data Flow-based Validation of Web Services Compositions: Perspectives and Examples Data Flow-based Validation of Web Services Compositions: Perspectives and Examples Cesare Bartolini 1, Antonia Bertolino 1, Eda Marchetti 1, Ioannis Parissis 1,2 1 ISTI - CNR Via Moruzzi 1-56124 Pisa 2

More information

IBM PureApplication System for IBM WebSphere Application Server workloads

IBM PureApplication System for IBM WebSphere Application Server workloads IBM PureApplication System for IBM WebSphere Application Server workloads Use IBM PureApplication System with its built-in IBM WebSphere Application Server to optimally deploy and run critical applications

More information

Veeam Task Manager for Hyper-V

Veeam Task Manager for Hyper-V Veeam Task Manager for Hyper-V Version 1.0 User Guide July, 2014 2014 Veeam Software. All rights reserved. All trademarks are the property of their respective owners. No part of this publication may be

More information

Flexible Building Blocks for Software Defined Network Function Virtualization (Tenant-Programmable Virtual Networks)

Flexible Building Blocks for Software Defined Network Function Virtualization (Tenant-Programmable Virtual Networks) Flexible Building Blocks for Software Defined Network Function Virtualization (Tenant-Programmable Virtual Networks) Aryan TaheriMonfared Chunming Rong Department of Electrical Engineering and Computer

More information

DESIGN OF AGENT BASED SYSTEM FOR MONITORING AND CONTROLLING SLA IN CLOUD ENVIRONMENT

DESIGN OF AGENT BASED SYSTEM FOR MONITORING AND CONTROLLING SLA IN CLOUD ENVIRONMENT International Journal of Advanced Technology in Engineering and Science www.ijates.com DESIGN OF AGENT BASED SYSTEM FOR MONITORING AND CONTROLLING SLA IN CLOUD ENVIRONMENT Sarwan Singh 1, Manish Arora

More information

Cloud Optimize Your IT

Cloud Optimize Your IT Cloud Optimize Your IT Windows Server 2012 The information contained in this presentation relates to a pre-release product which may be substantially modified before it is commercially released. This pre-release

More information

The VMware Administrator s Guide to Hyper-V in Windows Server 2012. Brien Posey Microsoft MVMP @Veeam

The VMware Administrator s Guide to Hyper-V in Windows Server 2012. Brien Posey Microsoft MVMP @Veeam The VMware Administrator s Guide to Hyper-V in Windows Server 2012 Brien Posey Microsoft MVMP @Veeam About today s webinar Thought leadership content from an industry expert This webinar is recorded and

More information

Cloud Computing Architecture: A Survey

Cloud Computing Architecture: A Survey Cloud Computing Architecture: A Survey Abstract Now a day s Cloud computing is a complex and very rapidly evolving and emerging area that affects IT infrastructure, network services, data management and

More information

CS 6343: CLOUD COMPUTING Term Project

CS 6343: CLOUD COMPUTING Term Project CS 6343: CLOUD COMPUTING Term Project Group A1 Project: IaaS cloud middleware Create a cloud environment with a number of servers, allowing users to submit their jobs, scale their jobs Make simple resource

More information

Adatbázis tesztkörnyezetek kialakítása. Copyright 2013, Oracle and/or its affiliates. All rights reserved.

Adatbázis tesztkörnyezetek kialakítása. Copyright 2013, Oracle and/or its affiliates. All rights reserved. Adatbázis tesztkörnyezetek kialakítása 1 Workload Scale Up for Capacity Planning SALES HR ERP CRM Enables capacity planning by scaling up workload replay Time-shifting: Align workload peaks for maximum

More information

Towards the Magic Green Broker Jean-Louis Pazat IRISA 1/29. Jean-Louis Pazat. IRISA/INSA Rennes, FRANCE MYRIADS Project Team

Towards the Magic Green Broker Jean-Louis Pazat IRISA 1/29. Jean-Louis Pazat. IRISA/INSA Rennes, FRANCE MYRIADS Project Team Towards the Magic Green Broker Jean-Louis Pazat IRISA 1/29 Jean-Louis Pazat IRISA/INSA Rennes, FRANCE MYRIADS Project Team Towards the Magic Green Broker Jean-Louis Pazat IRISA 2/29 OUTLINE Clouds and

More information

A Survey Paper: Cloud Computing and Virtual Machine Migration

A Survey Paper: Cloud Computing and Virtual Machine Migration 577 A Survey Paper: Cloud Computing and Virtual Machine Migration 1 Yatendra Sahu, 2 Neha Agrawal 1 UIT, RGPV, Bhopal MP 462036, INDIA 2 MANIT, Bhopal MP 462051, INDIA Abstract - Cloud computing is one

More information

International Journal of Engineering Research & Management Technology

International Journal of Engineering Research & Management Technology International Journal of Engineering Research & Management Technology March- 2015 Volume 2, Issue-2 Survey paper on cloud computing with load balancing policy Anant Gaur, Kush Garg Department of CSE SRM

More information

Security Requirements Analysis of Web Applications using UML

Security Requirements Analysis of Web Applications using UML Security Requirements Analysis of Web Applications using UML Salim Chehida 1, Mustapha kamel Rahmouni 2 1 Department of Informatics, University of Mostaganem, Algeria salimchehida@yahoo.fr 2 Department

More information

Brain of the Virtualized Data Center

Brain of the Virtualized Data Center Brain of the Virtualized Data Center Contents 1 Challenges of Server Virtualization... 3 1.1 The virtual network breaks traditional network boundaries... 3 1.2 The live migration function of VMs requires

More information

ELECTRONIC QUALITY MANAGEMENT SOFTWARE

ELECTRONIC QUALITY MANAGEMENT SOFTWARE ELECTRONIC QUALITY MANAGEMENT SOFTWARE I.T. INFRASTRUCTURE REQUIREMENTS Version No.: 01 Issue Date: May 3, 2012 Table of Contents 1 INTRODUCTION... 3 2 ARCHITECTURE... 3 2.1. A web based user interface...

More information

Virtualization. as a key enabler for Cloud OS vision. Vasily Malanin Datacenter Product Management Lead Microsoft APAC

Virtualization. as a key enabler for Cloud OS vision. Vasily Malanin Datacenter Product Management Lead Microsoft APAC Virtualization as a key enabler for Cloud OS vision Vasily Malanin Datacenter Product Management Lead Microsoft APAC Can I enable employees to work from anywhere? How can I evolve my business apps to

More information

Neptune. A Domain Specific Language for Deploying HPC Software on Cloud Platforms. Chris Bunch Navraj Chohan Chandra Krintz Khawaja Shams

Neptune. A Domain Specific Language for Deploying HPC Software on Cloud Platforms. Chris Bunch Navraj Chohan Chandra Krintz Khawaja Shams Neptune A Domain Specific Language for Deploying HPC Software on Cloud Platforms Chris Bunch Navraj Chohan Chandra Krintz Khawaja Shams ScienceCloud 2011 @ San Jose, CA June 8, 2011 Cloud Computing Three

More information

Le Cloud Computing selon IBM : stratégie et offres, zoom sur WebSphere CloudBurst

Le Cloud Computing selon IBM : stratégie et offres, zoom sur WebSphere CloudBurst Le Cloud Computing selon IBM : stratégie et offres, zoom sur WebSphere CloudBurst Hervé Grange WebSphere Client Technical Expert Stéphane Woillez Senior IT Architect - Cloud Computing Champion IBM France

More information

SYSTEMS AND SOFTWARE REQUIREMENTS SPECIFICATION (SSRS) TEMPLATE. Version A.4, January 2014 FOREWORD DOCUMENT CONVENTIONS

SYSTEMS AND SOFTWARE REQUIREMENTS SPECIFICATION (SSRS) TEMPLATE. Version A.4, January 2014 FOREWORD DOCUMENT CONVENTIONS SYSTEMS AND SOFTWARE REQUIREMENTS SPECIFICATION (SSRS) TEMPLATE Version A.4, January 2014 FOREWORD This document was written to provide software development projects with a template for generating a System

More information

REBELS: REmote Execution BasEd Load-balancing System A. Puliato, O. Tomarchio, G. Haring, G. Kotsis Ist. di Informatica e Telecomunicazioni Dept. of Applied Computer Science Universita' di Catania UniversityofVienna

More information

Distributed Backup with the NetVault Plug-in for VMware for Scale and Performance

Distributed Backup with the NetVault Plug-in for VMware for Scale and Performance Distributed Backup with the NetVault Plug-in for VMware for Scale and Performance Table of contents Introduction...3 Background...3 Problem...4 Solution...4 NetVault VMware Plug-in Configuration...5 NetVault

More information

WLS Customer Price VMware. Item # Item Description Req. Educ List Price

WLS Customer Price VMware. Item # Item Description Req. Educ List Price VMware: Carahsoft Technology Contract Number: WLS260 Item # Item Description Req. Educ List Price WLS Disc % WLS Customer Price VMware VMS-VCA-G-SSS-2U-A Academic Basic Support/Subscription VirtualCenter

More information

Dell Virtualization Solution for Microsoft SQL Server 2012 using PowerEdge R820

Dell Virtualization Solution for Microsoft SQL Server 2012 using PowerEdge R820 Dell Virtualization Solution for Microsoft SQL Server 2012 using PowerEdge R820 This white paper discusses the SQL server workload consolidation capabilities of Dell PowerEdge R820 using Virtualization.

More information

CLOUD COMPUTING. When It's smarter to rent than to buy

CLOUD COMPUTING. When It's smarter to rent than to buy CLOUD COMPUTING When It's smarter to rent than to buy Is it new concept? Nothing new In 1990 s, WWW itself Grid Technologies- Scientific applications Online banking websites More convenience Not to visit

More information

An Energy-aware Multi-start Local Search Metaheuristic for Scheduling VMs within the OpenNebula Cloud Distribution

An Energy-aware Multi-start Local Search Metaheuristic for Scheduling VMs within the OpenNebula Cloud Distribution An Energy-aware Multi-start Local Search Metaheuristic for Scheduling VMs within the OpenNebula Cloud Distribution Y. Kessaci, N. Melab et E-G. Talbi Dolphin Project Team, Université Lille 1, LIFL-CNRS,

More information

Load Balancing in Cluster

Load Balancing in Cluster 8 Chapter 8 33 Pramati Cluster provides a pluggable load balancer architecture. Different load balancing algorithms can be used by the cluster. By default, Pramati Server ships with a Weighted Round Robin

More information

IBM Platform Computing Cloud Service Ready to use Platform LSF & Symphony clusters in the SoftLayer cloud

IBM Platform Computing Cloud Service Ready to use Platform LSF & Symphony clusters in the SoftLayer cloud IBM Platform Computing Cloud Service Ready to use Platform LSF & Symphony clusters in the SoftLayer cloud February 25, 2014 1 Agenda v Mapping clients needs to cloud technologies v Addressing your pain

More information

Best Practices for Monitoring Databases on VMware. Dean Richards Senior DBA, Confio Software

Best Practices for Monitoring Databases on VMware. Dean Richards Senior DBA, Confio Software Best Practices for Monitoring Databases on VMware Dean Richards Senior DBA, Confio Software 1 Who Am I? 20+ Years in Oracle & SQL Server DBA and Developer Worked for Oracle Consulting Specialize in Performance

More information

Introducing ScienceCloud

Introducing ScienceCloud Zentrale Informatik Introducing ScienceCloud Sergio Maffioletti IS/Cloud S3IT: Service and Support for Science IT Zurich, 10.03.2015 What are we going to talk about today? 1. Why are we building ScienceCloud?

More information

Building Clouds with OpenNebula 3.4

Building Clouds with OpenNebula 3.4 OSDC 2012 24th April, Nürnberg Building Clouds with OpenNebula 3.4 Constantino Vázquez Blanco dsa-research.org Distributed Systems Architecture Research Group Universidad Complutense de Madrid Building

More information

Basics in Energy Information (& Communication) Systems Virtualization / Virtual Machines

Basics in Energy Information (& Communication) Systems Virtualization / Virtual Machines Basics in Energy Information (& Communication) Systems Virtualization / Virtual Machines Dr. Johann Pohany, Virtualization Virtualization deals with extending or replacing an existing interface so as to

More information

Portability and Interoperability in Clouds: contributions from the mosaic Project

Portability and Interoperability in Clouds: contributions from the mosaic Project Portability and Interoperability in Clouds: contributions from the mosaic Project Project mosaic: Open-Source API and Platform for Multiple Clouds http://www.mosaic-cloud.eu CLASS Conference Bled 23/10/2013

More information

Use of Hadoop File System for Nuclear Physics Analyses in STAR

Use of Hadoop File System for Nuclear Physics Analyses in STAR 1 Use of Hadoop File System for Nuclear Physics Analyses in STAR EVAN SANGALINE UC DAVIS Motivations 2 Data storage a key component of analysis requirements Transmission and storage across diverse resources

More information

OpenNebula An Innovative Open Source Toolkit for Building Cloud Solutions

OpenNebula An Innovative Open Source Toolkit for Building Cloud Solutions Cloud Computing and its Applications 20th October 2009 OpenNebula An Innovative Open Source Toolkit for Building Cloud Solutions Distributed Systems Architecture Research Group Universidad Complutense

More information

Network Virtualization: Delivering on the Promises of SDN. Bruce Davie, Principal Engineer

Network Virtualization: Delivering on the Promises of SDN. Bruce Davie, Principal Engineer Network Virtualization: Delivering on the Promises of SDN Bruce Davie, Principal Engineer What does SDN promise? The original* SDN promise was: Enable rapid innovation in networking Enable new forms of

More information

Migrating Production HPC to AWS

Migrating Production HPC to AWS Migrating Production HPC to AWS A Story of Early Adoption & Lessons Learned Lewis Foti Mentation Solutions Common Computing Service (CCS) The Common Computing Service (CCS) is the HPC (grid computing)

More information

Introduction to Cloud Computing

Introduction to Cloud Computing Introduction to Cloud Computing Shang Juh Kao Dept. of Computer Science and Engineering National Chung Hsing University 2011/10/27 CSE, NCHU 1 Table of Contents 1. Introduction ( 資 料 取 自 NCHC 自 由 軟 體 實

More information

Operating Systems Virtualization mechanisms

Operating Systems Virtualization mechanisms Operating Systems Virtualization mechanisms René Serral-Gracià Xavier Martorell-Bofill 1 1 Universitat Politècnica de Catalunya (UPC) May 26, 2014 Contents 1 Introduction 2 Hardware Virtualization mechanisms

More information

Challenges in Hybrid and Federated Cloud Computing

Challenges in Hybrid and Federated Cloud Computing Cloud Day 2011 KTH-SICS Cloud Innovation Center and EIT ICT Labs Kista, Sweden, September 14th, 2011 Challenges in Hybrid and Federated Cloud Computing Ignacio M. Llorente Project Director Acknowledgments

More information

Georgiana Macariu, Dana Petcu, CiprianCraciun, Silviu Panica, Marian Neagul eaustria Research Institute Timisoara, Romania

Georgiana Macariu, Dana Petcu, CiprianCraciun, Silviu Panica, Marian Neagul eaustria Research Institute Timisoara, Romania Open source API and platform for heterogeneous Cloud computing environments Georgiana Macariu, Dana Petcu, CiprianCraciun, Silviu Panica, Marian Neagul eaustria Research Institute Timisoara, Romania Problem

More information

Citrix Lab Manager 3.6 SP 2 Quick Start Guide

Citrix Lab Manager 3.6 SP 2 Quick Start Guide WHITE PAPER Citrix Essentials for Microsoft Hyper-V Citrix Lab Manager 3.6 SP 2 Quick Start Guide www.citrix.com Contents Document Summary... 3 Preparation... 3 Architectural Review of Lab Manager... 3

More information

Cloud Simulator for Scalability Testing

Cloud Simulator for Scalability Testing Cloud Simulator for Scalability Testing Nitin Singhvi (nitin.singhvi@calsoftinc.com) 1 Introduction Nitin Singhvi 11+ Years of experience in technology, especially in Networking QA. Currently playing roles

More information

CLOUD AUTOMATION. How Cloud Automation Can Help You Scale Your IT Services

CLOUD AUTOMATION. How Cloud Automation Can Help You Scale Your IT Services CLOUD AUTOMATION How Cloud Automation Can Help You Scale Your IT Services TABLE OF CONTENTS Introduction 03 Business Benefits 07 Administrator Benefits 11 Technical Considerations 14 Conclusion 17 2 INTRODUCTION

More information