Accountability in Hosted Virtual Networks Eric Keller, Ruby B. Lee, Jennifer Rexford Princeton University.

Slides:



Advertisements
Similar presentations
The Platform as a Service Model for Networking Eric Keller, Jennifer Rexford Princeton University INM/WREN 2010.
Advertisements

Logically Centralized Control Class 2. Types of Networks ISP Networks – Entity only owns the switches – Throughput: 100GB-10TB – Heterogeneous devices:
Cobalt: Separating content distribution from authorization in distributed file systems Kaushik Veeraraghavan Andrew Myrick Jason Flinn University of Michigan.
Vpn-info.com.
Cryptography Chapter 7 Part 4 Pages 833 to 874. PKI Public Key Infrastructure Framework for Public Key Cryptography and for Secret key exchange.
Implementing an Untrusted Operating System on Trusted Hardware.
Accountability in Hosted Virtual Networks Eric Keller, Ruby B. Lee, Jennifer Rexford Princeton University VISA 2009.
Ragib Hasan Johns Hopkins University en Spring 2011 Lecture 3 02/14/2010 Security and Privacy in Cloud Computing.
New Direction for Software Protection in Embedded Systems Department of EECS University of Michigan Feb 22, 2007 Kang G. Shin.
 Max Planck Institute for Software Systems Towards trusted cloud computing Nuno Santos, Krishna P. Gummadi, and Rodrigo Rodrigues MPI-SWS.
Secure web browsers, malicious hardware, and hardware support for binary translation Sam King.
Using Cryptographic ICs For Security and Product Management Misconceptions about security Network and system security Key Management The Business of Security.
Ragib Hasan Johns Hopkins University en Spring 2010 Lecture 5 03/08/2010 Security and Privacy in Cloud Computing.
Trusted Platform Modules: Building a Trusted Software Stack and Remote Attestation Dane Brandon, Hardeep Uppal CSE551 University of Washington.
Lesson 11-Virtual Private Networks. Overview Define Virtual Private Networks (VPNs). Deploy User VPNs. Deploy Site VPNs. Understand standard VPN techniques.
Copyright © Clifford Neuman - UNIVERSITY OF SOUTHERN CALIFORNIA - INFORMATION SCIENCES INSTITUTE USC CSci599 Trusted Computing Lecture Three.
outline Purpose Design Implementation Market Conclusion presentation Outline.
Applied Cryptography for Network Security
Towards Application Security On Untrusted OS
Securing Information Transfer in Distributed Computing Environments AbdulRahman A. Namankani.
Stealth Probing: Efficient Data- Plane Security for IP Routing Ioannis Avramopoulos Princeton University Joint work with Jennifer Rexford.
Internet Protocol Security (IPSec)
Secure Network Design: Designing a Secure Local Area Network IT352 | Network Security |Najwa AlGhamdi1 Case Study
Network Topology. Cisco 2921 Integrated Services Router Security Embedded hardware-accelerated VPN encryption Secure collaborative communications with.
Cloud Computing Cloud Security– an overview Keke Chen.
NW Security and Firewalls Network Security
SYSTEM ADMINISTRATION Chapter 13 Security Protocols.
Cloud Computing & Security Issues Prepared by: Hamoud Al-Shammari CS 6910 Summer, 2011 University of Colorado at Colorado Springs Engineering & Applied.
Jakub Szefer, Eric Keller, Ruby B. Lee Jennifer Rexford Princeton University CCS October, 2011 報告人:張逸文.
Trusted Computing BY: Sam Ranjbari Billy J. Garcia.
Kenichi Kourai (Kyushu Institute of Technology) Takuya Nagata (Kyushu Institute of Technology) A Secure Framework for Monitoring Operating Systems Using.
EGEE-II INFSO-RI Enabling Grids for E-sciencE EGEE and gLite are registered trademarks Extending user controlled security domain.
Architecture for Protecting Critical Secrets in Microprocessors Ruby Lee Peter Kwan Patrick McGregor Jeffrey Dwoskin Zhenghong Wang Princeton Architecture.
Eric Keller, Evan Green Princeton University PRESTO /22/08 Virtualizing the Data Plane Through Source Code Merging.
Trusted Computing Or How I Learned to Stop Worrying and Love the MPAA.
Cosc 4765 Trusted Platform Module. What is TPM The TPM hardware along with its supporting software and firmware provides the platform root of trust. –It.
Module 4 Quiz. 1. Which of the following statements about Network Address Translation (NAT) are true? Each correct answer represents a complete solution.
Interdomain Routing Security. How Secure are BGP Security Protocols? Some strange assumptions? – Focused on attracting traffic from as many Ases as possible.
1 Virtual Private Network (VPN) Course: COSC513 Instructor: Professor M. Anvari Student: Xinguang Wang.
出處 :2010 2nd International Conference on Signal Processing Systems (ICSPS) 作者 :Zhidong Shen 、 Qiang Tong 演講者 : 碩研資管一甲 吳俊逸.
Security in Cloud Computing Zac Douglass Chris Kahn.
Security Vulnerabilities in A Virtual Environment
Trusted Computing and the Trusted Platform Module Bruce Maggs (with some slides from Bryan Parno)
Chapter 40 Network Security (Access Control, Encryption, Firewalls)
Introduction to Avaya’s SDN Architecture February 2015.
Architecture Support for Secure Computing Mikel Bezdek Chun Yee Yu CprE 585 Survey Project 12/10/04.
Chapter 1: Explore the Network
Chapter 6: Securing the Cloud
Hardware-rooted Trust for Secure Key Management & Transient Trust
Modularity Most useful abstractions an OS wants to offer can’t be directly realized by hardware Modularity is one technique the OS uses to provide better.
Trusted Computing and the Trusted Platform Module
Cloud Security– an overview Keke Chen
Rootkit Detection and Mitigation
ABYSS : An Architecture for Software Protection
Trusted Computing and the Trusted Platform Module
Outline What does the OS protect? Authentication for operating systems
Outline What does the OS protect? Authentication for operating systems
Cloud Testing Shilpi Chugh.
CS 31006: Computer Networks – The Routers
Bastion secure processor architecture
Firewalls Routers, Switches, Hubs VPNs
User-mode Secret Protection (SP) architecture
Cloud computing Technology: innovation. Points  Cloud Computing and Social Network Sites have become major trends not only in business but also in various.
Cloud computing Technology: innovation. Points  Cloud Computing and Social Network Sites have become major trends not only in business but also in various.
SCONE: Secure Linux Containers Environments with Intel SGX
Shielding applications from an untrusted cloud with Haven
Aimee Coughlin, Greg Cusack, Jack Wampler, Eric Keller, Eric Wustrow
Presentation transcript:

Accountability in Hosted Virtual Networks Eric Keller, Ruby B. Lee, Jennifer Rexford Princeton University

Motivation Trend towards hosted virtualized infrastructures –Enables companies to easily deploy new services –e.g., Amazon EC2 Hosted virtual networks –Infrastructure provider: owns/maintains routers –Service provider: leases slices of routers

Understanding Security Threats Service Provider wants –Control software running exactly as written –Data plane forwarding/filtering as instructed –Data plane performing with QoS promised –Confidentiality/Integrity of data –Availability Infrastructure Provider –Doesn’t want to be unjustly blamed Next: How are these possibly compromised 3

Old model: Owning the router Routing Processes Line Card Line Card Interconnect OS FIB1 Routing Processes NIC Interconnect OS fwdFIB1 Hardware-based routerSoftware-based router 4 Entire platform is trusted

New model: Hosted (threat 1) Routing Processes Line Card Line Card Interconnect OS FIB1 Virtualization layer Routing Processes NIC Interconnect OS Virtualization layer fwdFIB1 Infra. Provider can tamper with control software, data plane configuration (HW router), data plane implementation (SW router) Hardware-based routerSoftware-based router 5 Service provider Infra. provider fwdFIB1

New model: Shared (threat 2) Routing Processes Line Card Line Card Interconnect OS Routing Processes OS FIB1 FIB2 FIB1 FIB2 Virtualization layer Routing Processes NIC Interconnect OS Routing Processes OS Virtualization layer fwdFIB1FIB2 Hardware-based routerSoftware-based router 6 Service providers Infra. provider Pink service provider can attack virtualization layer Possible competitor of Blue service provider Affect operation of Blue service provider

Accountability Security threats lead to the need for accountability Accountable: Subject to the obligation to report, explain, or justify something; responsible; answerable [Random House] In hosted virtual infrastructure… –promised in the Service Level Agreement (SLA) 7

Outline of Approaches Detect –Network Measurement Prevent –Advances in Processor Architecture For each –Present solution possible today –Propose extension 8

Outline of Approaches Detect –Network Measurement Prevent –Advances in Processor Architecture For each –Present solution possible today –Propose extension 9

Monitoring SLA compliance Probe to determine: Loss rates Latency/Jitter Path taken To know how DP supposed to act: Log control messages (at boundaries) Model network and replay logs 10

Extending the Interface Card Logging at edge -> expensive to simulate –Log control messages at each interface Probing at edge -> pinpointing difficult –Sampling at each interface (using secret key) Probing at edge -> complete path unknown –Bloom filter at each interface to store whether or not a particular packet went through this interface Measurement by service provider -> can’t prove violation (is it the service provider’s fault) –Place trust in interface card vendor for logging (e.g., private key of vendor signs the logs) 11

Outline of Approaches Detect –Network Measurement Prevent –Advances in Processor Architecture For each –Present solution possible today –Propose extension 12

Trusted Platform Module Recall what service provider wants –Control software running unmodified –Data plane acting as instructed –Data plane performing with correct QoS –Confidentiality/Integrity of data TPM: Chip on motherboard (on chip in future) –Encrypting storage –Attesting to integrity of system 13

TPM Limitations Does not protect against dynamic attacks –Can’t ensure software running unmodified Relies on chain of trust –Control processes verified by virtualization layer –Can’t know if data plane acting as instructed with QoS (SW - Data plane is in virtualization layer) (HW – Configuration goes through virtualization layer) –Confidentiality of data not addressed 14

TPM needs physical separation Remote control plane –e.g., Ethane/NOX, 4D Routing Processes NIC Interconnect OS Routing Processes OS Virtualization layer fwdFIB1FIB2 Routing Processes NIC Interconnect OS fwdFIB1FIB2 Minimal controller TPM Routing Processes OS TPM 3 rd Party Data Plane 15

Security Enhanced Processor TPM relies on physical separation Instead – extend processor architecture –Confidentiality/integrity of data and software –Encryption/decryption to/from memory –Examples: SP [ISCA05], AEGIS [MICRO03], XOM [ASPLOS00] –Minimal extra circuitry None designed for hosted/shared environment None made good business case –So no (very limited) success –Market size of hosted virtualized infrastructures provides the incentive 16

Base Processor Main Memory Processor cacheCPU 17

Trust Vendor Device key Main Memory Processor cacheCPU Vendor: Install private device key (write only, configured in vendor’s facility) 18

Don’t trust infrastructure provider Install key K0 K1 K2 K3 Device key Main Memory Processor cacheCPU slot 0xf918 0x1234 Service Provider: Install secret key 19

Protecting software and data Install key K0 K1 K2 K3 Device key Main Memory Processor cacheCPU slot 0x1234 encrypt/ decrypt slot 0xde21f19 0x18 0x12aaa22 0xfe 0xde21f19 0x18 0xde21f19 Encrypt/Decrypt data to/from memory (or just hash/verify) 20

What’s the right approach? Measure+NICTPMvm-SP TrustOther infrastructure providers Vendor Run-time complexity HighMediumLow ConfidentialityNo Yes Main downside Accuracy vs computation / storage tradeoff Need to extend interface card Requires physical separation Need general purpose processor extension 21 Virtual Mode-SP (extended processor) provides protection desired, minimal complexity, with business incentives to make it reality.

Conclusion A step toward realizing hosted virtual networks New business model leads to new security issues –Platform is hosted and shared Can use monitoring to detect violations Better to rearchitect routers to prevent violations Future work: –Virtual Mode-SP for hosted virtualized infrastructures –Explore implications of trusting the vendor 22