Security under key-dependent inputs
Shai Halevi, Hugo Krawczyk
CCS 2007
We describe a secure network virtualization framework that helps realize the abstraction of Trusted Virtual Domains (TVDs), a security-enhanced variant of virtualized network zones. The framework allows groups of related virtual machines running on separate physical machines to be connected together as though there were on their own separate network fabric and, at the same time, helps enforce cross-group security requirements such as isolation, confidentiality, security, and information flow control. The framework uses existing network virtualization technologies, such as Ethernet encapsulation, VLAN tagging, and VPNs, and combines and orchestrates them appropriately to implement TVDs. Our framework aims at automating the instantiation and deployment of the appropriate security mechanism and network virtualization technologies based on an input security model that specifies the required level of isolation and permitted network flows. We have implemented a prototype of the framework based on the Xen hypervisor. Experimental evaluation of the prototype shows that the performance of our virtual networking extensions is comparable to that of the standard Xen configuration. Copyright 2007 ACM.
Shai Halevi, Hugo Krawczyk
CCS 2007
Yu Deng, Ronnie Sarkar, et al.
SCC 2013
Long Wang, Harigovind Ramasamy, et al.
DSN-Industry Track 2019
Serdar Cabuk, Chris I. Dalton, et al.
Journal of Computer Security