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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

x86 ISA Modifications to support Virtual Machines

x86 ISA Modifications to support Virtual Machines x86 ISA Modifications to support Virtual Machines Douglas Beal Ashish Kumar Gupta CSE 548 Project Outline of the talk Review of Virtual Machines What complicates Virtualization Technique for Virtualization

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

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

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

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

CloudSim: A Toolkit for Modeling and Simulation of Cloud Computing Environments and Evaluation of Resource Provisioning Algorithms

CloudSim: A Toolkit for Modeling and Simulation of Cloud Computing Environments and Evaluation of Resource Provisioning Algorithms CloudSim: A Toolkit for Modeling and Simulation of Cloud Computing Environments and Evaluation of Resource Provisioning Algorithms Rodrigo N. Calheiros, Rajiv Ranjan, Anton Beloglazov, César A. F. De Rose,

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

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

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

Managing the Performance of Clouds and Cloud Based Applications

Managing the Performance of Clouds and Cloud Based Applications Managing the Performance of Clouds and Cloud Based s Alan Clark, Telchemy alan.d.clark@telchemy.com IEEE CQR 2012 Outline Model for Cloud based s Cloud Performance Typical Cloud SLA What Cloud Infrastructure

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

Introduction to OpenStack

Introduction to OpenStack Introduction to OpenStack Carlo Vallati PostDoc Reseracher Dpt. Information Engineering University of Pisa carlo.vallati@iet.unipi.it Cloud Computing - Definition Cloud Computing is a term coined to refer

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

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

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

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

Cloud Design and Implementation. Cheng Li MPI-SWS Nov 9 th, 2010

Cloud Design and Implementation. Cheng Li MPI-SWS Nov 9 th, 2010 Cloud Design and Implementation Cheng Li MPI-SWS Nov 9 th, 2010 1 Modern Computing CPU, Mem, Disk Academic computation Chemistry, Biology Large Data Set Analysis Online service Shopping Website Collaborative

More information

Cost Effective Automated Scaling of Web Applications for Multi Cloud Services

Cost Effective Automated Scaling of Web Applications for Multi Cloud Services Cost Effective Automated Scaling of Web Applications for Multi Cloud Services SANTHOSH.A 1, D.VINOTHA 2, BOOPATHY.P 3 1,2,3 Computer Science and Engineering PRIST University India Abstract - Resource allocation

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

ENERGY EFFICIENT VIRTUAL MACHINE ASSIGNMENT BASED ON ENERGY CONSUMPTION AND RESOURCE UTILIZATION IN CLOUD NETWORK

ENERGY EFFICIENT VIRTUAL MACHINE ASSIGNMENT BASED ON ENERGY CONSUMPTION AND RESOURCE UTILIZATION IN CLOUD NETWORK International Journal of Computer Engineering & Technology (IJCET) Volume 7, Issue 1, Jan-Feb 2016, pp. 45-53, Article ID: IJCET_07_01_006 Available online at http://www.iaeme.com/ijcet/issues.asp?jtype=ijcet&vtype=7&itype=1

More information

Virtualization Technology using Virtual Machines for Cloud Computing

Virtualization Technology using Virtual Machines for Cloud Computing International OPEN ACCESS Journal Of Modern Engineering Research (IJMER) Virtualization Technology using Virtual Machines for Cloud Computing T. Kamalakar Raju 1, A. Lavanya 2, Dr. M. Rajanikanth 2 1,

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

Cloud Computing from an Institutional Perspective

Cloud Computing from an Institutional Perspective 15th April 2010 e-infranet Workshop Louvain, Belgium Next Generation Data Center Summit Cloud Computing from an Institutional Perspective Distributed Systems Architecture Research Group Universidad Complutense

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

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

PASS4TEST 専 門 IT 認 証 試 験 問 題 集 提 供 者

PASS4TEST 専 門 IT 認 証 試 験 問 題 集 提 供 者 PASS4TEST 専 門 IT 認 証 試 験 問 題 集 提 供 者 http://www.pass4test.jp 1 年 で 無 料 進 級 することに 提 供 する Exam : C2120-800 Title : IBM PureApplication System V1.1, System Administration Vendor : IBM Version : DEMO 1 / 4

More information

Simulation-based Evaluation of an Intercloud Service Broker

Simulation-based Evaluation of an Intercloud Service Broker Simulation-based Evaluation of an Intercloud Service Broker Foued Jrad, Jie Tao and Achim Streit Steinbuch Centre for Computing, SCC Karlsruhe Institute of Technology, KIT Karlsruhe, Germany {foued.jrad,

More information

Power Management in Cloud Computing using Green Algorithm. -Kushal Mehta COP 6087 University of Central Florida

Power Management in Cloud Computing using Green Algorithm. -Kushal Mehta COP 6087 University of Central Florida Power Management in Cloud Computing using Green Algorithm -Kushal Mehta COP 6087 University of Central Florida Motivation Global warming is the greatest environmental challenge today which is caused by

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

Xen @ Google. Iustin Pop, Google Switzerland. Sponsored by:

Xen @ Google. Iustin Pop, <iustin@google.com> Google Switzerland. Sponsored by: Xen @ Google Iustin Pop, Google Switzerland Sponsored by: & & Introduction Talk overview Corporate infrastructure Overview Use cases Technology Open source components Internal components

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

The OpenNebula Standard-based Open -source Toolkit to Build Cloud Infrastructures

The OpenNebula Standard-based Open -source Toolkit to Build Cloud Infrastructures Jornadas Técnicas de RedIRIS 2009 Santiago de Compostela 27th November 2009 The OpenNebula Standard-based Open -source Toolkit to Build Cloud Infrastructures Distributed Systems Architecture Research Group

More information

Virtualization @ Google

Virtualization @ Google Virtualization @ Google Alexander Schreiber Google Switzerland Libre Software Meeting 2012 Geneva, Switzerland, 2012-06-10 Introduction Talk overview Corporate infrastructure Overview Use cases Technology

More information

Resource Allocation Avoiding SLA Violations in Cloud Framework for SaaS

Resource Allocation Avoiding SLA Violations in Cloud Framework for SaaS Resource Allocation Avoiding SLA Violations in Cloud Framework for SaaS Shantanu Sasane Abhilash Bari Kaustubh Memane Aniket Pathak Prof. A. A.Deshmukh University of Pune University of Pune University

More information

Adapting Market-Oriented Scheduling Policies for Cloud Computing

Adapting Market-Oriented Scheduling Policies for Cloud Computing Adapting Market-Oriented Scheduling Policies for Cloud Computing Mohsen Amini Salehi Rajkumar Buyya Cloud Computing and Distributed Systems (CLOUDS) Laboratory, Department of Computer Science and Software

More information

VMware vcloud Automation Center 6.0

VMware vcloud Automation Center 6.0 VMware 6.0 Reference Architecture TECHNICAL WHITE PAPER Table of Contents Overview... 4 Initial Deployment Recommendations... 4 General Recommendations... 4... 4 Load Balancer Considerations... 4 Database

More information

Cloud Infrastructure Pattern

Cloud Infrastructure Pattern 1 st LACCEI International Symposium on Software Architecture and Patterns (LACCEI-ISAP-MiniPLoP 2012), July 23-27, 2012, Panama City, Panama. Cloud Infrastructure Pattern Keiko Hashizume Florida Atlantic

More information

Step by Step Guide To vstorage Backup Server (Proxy) Sizing

Step by Step Guide To vstorage Backup Server (Proxy) Sizing Tivoli Storage Manager for Virtual Environments V6.3 Step by Step Guide To vstorage Backup Server (Proxy) Sizing 12 September 2012 1.1 Author: Dan Wolfe, Tivoli Software Advanced Technology Page 1 of 18

More information