VMWindows backdoor 1473

Bad argument. The lack of *known* holes doesn't guarantee that there are no holes.

I readily conclude that I cannot show you an example of a single security hole in QNX. But even if nobody can show a single hole, it still doesn't *GUARANTEE* that there are no holes. It can show multiple things: Nobody really looked at the source. Nobody played with the program. The program is really well written. But it still doesn't guarantee that there is no hole in the system. IMO, nobody can ever prove that there are no holes in a complex system.

Operating systems and buttociated fw code are and hardware are complex things, so if somebody "guarantees" that there are no holes, then I will conclude that the guy either doesn't know what he is talking about, or tries to treat me as an idiot, or is simply dishonest.

Bruce Schneier writes about these things extensively, and his essays and blog are worth to read.

I read your first link. This is a marketing material.

What does 3d virtualization technique and listing nine separate database has to do with security? This page does have its own value, but it is not related to security. It is a marketing material, and its purpose to show the capabilities of their system. But it doesn't *PROVE* that their system has *NO* hole.

Vilmos