Linked by Thom Holwerda on Wed 17th Oct 2012 23:48 UTC, submitted by poundsmack
Privacy, Security, Encryption Kaspersky is working on its own secure operating system for highly specialised tasks. "We're developing a secure operating system for protecting key information systems (industrial control systems) used in industry/infrastructure. Quite a few rumors about this project have appeared already on the Internet, so I guess it's time to lift the curtain (a little) on our secret project and let you know (a bit) about what's really going on." More here.
Permalink for comment 538936
To read all comments associated with this story, please click here.
Not exactly new?
by Gullible Jones on Thu 18th Oct 2012 01:33 UTC
Gullible Jones
Member since:
2006-05-23

The PikeOS microkernel is apparently designed for similar stuff, and is already formally verified.

Not that competition in the uber-secure embedded OS market would be in any way a bad thing, mind...

Reply Score: 3