28 April 2009

Virtualisation insecurity

  • Virtualisation insecurity

Are hypervisors as secure as you think?

Hypervisor technology is beginning to sprout up in real time telecommunications, mobile devices and other electronics products. But embedded systems have different requirements from data centres and a highly secure virtualisation environment enables some compelling applications.
A number of studies of virtualisation security and successful subversions of hypervisors have been published, demonstrating the risk of an 'escape' from the virtual machine (VM) layer, exposing all the guests, is very real. According to one analyst: "Virtualisation is essentially a new operating system … and it enables an intimate interaction between underlying hardware and the environment. The potential for messing things up is significant."
There is more to security than using the word 'secure' or 'trusted' in product names and, sadly, the world has become accustomed to the 'fail first, patch later' mentality of insecure software. Thus, many of the world's systems run insecure operating systems and hypervisors, leaving them open to compromise.

Secure virtualisation
Hypervisors typically employ a monolithic architecture, which requires a large body of operating software, including device drivers and middleware, to support the execution of one or more guest environments. In addition, the monolithic architecture often uses a single virtualisation component (itself a complicated piece of software) to support multiple guest environments. Thus, a single flaw in the hypervisor may result in a compromise of the fundamental guest environment separation intended by virtualisation in the first place.
An alternative, but similarly insecure, approach uses a trimmed down hypervisor that runs in the microprocessor's privileged mode, but which employs a special guest OS to handle I/O control and services for the other guests. Thus, a complex, monolithic body of software must still be relied upon for system security.
Green Hills Software's virtualisation architecture places virtualisation complexity and related I/O drivers and middleware into user mode applications outside the trusted computing base, which contains only the secure microkernel: GHS' INTEGRITY. The microkernel provides low level hardware support, resource partitioning and scheduling for the virtual environments. A separate instance of the virtualisation infrastructure is used for each guest environment, precluding cross VM escapes.
The combination of virtualised and native applications on one processor provides a compelling cost and power efficient operating environment, ideal for embedded electronics and portable devices (see figure 1). This hybrid model also takes advantage of multicore processors by enabling concurrent execution of native and virtualised subsystems.
The flexibility afforded by virtualisation has proven powerful in the data centre and promises even more varied and compelling advantages throughout the electronics world. However, the proper virtualisation architecture can drastically improve security without sacrificing the utility of legacy software. INTEGRITY is appropriate for electronic products that demand a high level of security, reliability, and functionality.

Author
David Kleidermacher

Supporting Information

Downloads
18132\greenhills.pdf

Websites
http://www.arxan.com
http://www.ghs.com

Companies
Green Hills Software Ltd

This material is protected by Findlay Media copyright
See Terms and Conditions.
One-off usage is permitted but bulk copying is not.
For multiple copies contact the sales team.

Do you have any comments about this article?

Add your comments

Name
 
Email
 
Comments
 

Your comments/feedback may be edited prior to publishing. Not all entries will be published.
Please view our Terms and Conditions before leaving a comment.

 

Related Articles

PMIC an integration site?

Having long been one of the least heralded parts of an electronics design, the ...

Imp card brings IoT to home

US start up Electric Imp has developed an innovative user installable card ...

AMD launches R series

AMD has extended its embedded systems product range with the announcement of ...

Keeping in the loop

The humble 4 to 20mA current loop has been a faithful servant of process ...

Image is everything

Medical imaging is one of the underrated miracles of modern medicine. Only a ...

Vision for the future

When digital signal processors first appeared commercially in the early 1980s, ...

Power systems design

This whitepaper looks at how an improved decision flow can help power systems ...

Automotive functional safety

Real time control of safety critical applications has been a longtime challenge ...

Test and repair solution

Many large SoC designs today incorporate several third party IP cores that ...

Linear 42V dc/dc converter

Targeting industrial and automotive applications, Linear Technology has ...

Murata dc/dc converters

Murata Power Solutions has announced the UWE series of 100 to 120W open frame ...

120W power supply

Murata Power Solutions has announced the MVAB120 series of open frame single ...

MEDTEC UK 2012

23-24th May, Hall 9, Birmingham NEC

European Workshop 2012 iNEMI

12 June, 2012, Berlin, Germany

Safety in Systems of Systems

21 June 2012, The Cumberland Hotel, London, UK

The Ben Heck Show

The video shows mod guru Ben Heck build robot luggage to help lighten the load ...

Atari 2600 makeover

In 2000, Ben Heck built his first mod, a vintage, portable Atari 2600 Video ...

Delfino Floating Point Series

C2000 has been a well know player in the Industrial and Automotive spaces, and ...

Counterfeit components

The extent of counterfeit component usage in military applications is gradually ...

If you snooze, you lose

The pace of development in the mobile phone sector has speeded noticeably in ...

CES 2012 - Intel highlights

Images: highlights from Intel's keynote at the 2012 International CES.

Steve Edwards, cto, CWE

Graham Pitcher finds out that COTS is now being applied at the system level.

Aurelius Wosylus, AMD

Chris Shaw discusses AMD's latest low power processors with Aurelius Wosylus.

John Schwartz, Digi Int'l

Graham Pitcher finds out from a communications specialist that M2M is slowly ...