Virtualisation
February 4th, 2010 at 02:46pm
Under Virtualisation
L4 and its variants is a popular microkernel that can be found in many places, including even right at the bottom of Google’s Android system. So, I was interested to read about a formal proof for seL4, after five years of work by Open Kernel Labs and NICTA, Australia’s Information and Communications Technology Research Centre [...]
Continue Reading Open Kernel Labs’ kernel proved correct
Tags: open kernel labs, sel4
By Ken Y-N
November 26th, 2009 at 01:16pm
Under Virtualisation
I picked up this release note from OS News about Genode 9.11 being released. It now also supports para-virtualisation of the Linux kernel, as well as many other things. Genode is a spin-off project from the L4 kernel (another spin-off is used in Android) from the TU Dresden OS research group, who also did the [...]
Continue Reading Genode – an L4-based microkernel trusted computing base
Tags: genode, l4, os news
By Ken Y-N
November 25th, 2009 at 03:56pm
Under Virtualisation
Channel Register recently had a look at the state of play in the virtualisation world, which included this interesting fact: Richard Brown from HP Labs says they have come up with the idea of a bare metal hypervisor which is integrated with a trusted computing module (TCM) fitted to the system the hypervisor is running. [...]
Continue Reading HP building a trusted "bare metal hypervisor"
Tags: channel register, hp, opentc
By Ken Y-N
September 22nd, 2009 at 01:17pm
Under Virtualisation
On vmblog.com (tagline: Virtualization Technology News and Information) they recently published an article about HyTrust and VMware joining forces to realise trusted computing on a virtualised cloud infrastructure. I pose the question "What is the HyTrust Appliance?" because the article doesn’t actually explain it, but it seems to be some sort of virtualisation hub for [...]
Continue Reading What is the HyTrust Appliance?
Tags: hytrust, vmware
By Ken Y-N
September 21st, 2009 at 03:10pm
Under Virtualisation
Here’s an interesting post from the Parked @ PARC blog on a paper that the writer will be presenting at CCSW 2009: The ACM Cloud Computing Security Workshop entitled Controlling Data in the Cloud: Outsourcing Computation without Outsourcing Control. Unfortunately a copy of the paper has not been published yet, as far as I can [...]
Continue Reading Controlling Data in the Cloud
Tags: ccsw, cloud computing, fujitsu, parc
By Ken Y-N
July 20th, 2009 at 03:12pm
Under MTM+ Virtualisation
Embedded Computing recently published an article by Steve Subar of Open Kernel Labs on mobile phone virtualization. This is a subject in which I have a lot of active interest, especially in relation to the Mobile Trusted Module and its associated Multi-Stakeholder Model. Open Kernel Labs’ OKL4 hypervisor has found its way into the two [...]
Continue Reading Virtualization on mobile phones
Tags: android, iphone, open kernel labs
By Ken Y-N
April 28th, 2009 at 02:33pm
Under Virtualisation
New Electronics recently printed an article by David Kleidermacher of Green Hills Systems asking are hypervisors as secure as you think? Since Green Hills have a virtualisation architecture, not too surprisingly the answer was “most aren’t, but ours are!” To be less cynical, I think the point he is trying to make is that Green [...]
Continue Reading Is your hypervisor secure?
Tags: green hills, integrity, new electronics
By Ken Y-N
January 20th, 2009 at 02:10pm
Under Virtualisation
20 Jan 2009 Here’s an interesting note from the blog IDentity enabled Enterprise Architecture (IDEA!!) regarding SCIT (Self-Cleansing Intrution Tolerance) and Trusted Virtual Machines to allow computers to recover from attacks. It says: Trusted Computing with Trusted Interfaces, Trusted Storage and Trusted SW stack, plus, Trusted connects, and more will play a key role to [...]
Continue Reading Trusted, Tolerant and Transient Virtual Machines
Tags: scit
By Ken Y-N
October 22nd, 2008 at 04:54pm
Under Virtualisation
Intel and Oracle have joined together to work on implementing standards for security and efficiency in cloud computing. In a nutshell, cloud computing allows you to run an application anywhere on a set of computers out there on the internet. When you add trusted computing, in particular trusted computing with a Trusted Platform Module (TPM), [...]
Continue Reading Cloudy future for trusted virtualisation
Tags: cloud computing, efluxmedia, intel, oracle
By Ken Y-N
October 8th, 2008 at 04:46am
Under Virtualisation
Rob McCammon, the Vice President of Product Management for Open Kernel Labs, is due to speak – well, by the time you read this he’ll have already finished! – at the ARM Developer’ Conference in Santa Clara on the 7th of October 2008. He will be explaining how virtualisation can address security challenges in the [...]
Continue Reading Open Kernel Labs to speak at ARM Developers’ Conference
Tags: arm, open kernel labs, Virtualisation
By Ken Y-N