example: secure computing kernel needed

[Ian Grigg]

"John S. Denker" wrote:

> I leave it as an exercise for the reader to design a
> calculator with a secure kernel that is capable of
> certifying something to the effect that "no apps and
> no data tables (except for ones with the following
> hashes) have been accessible during the last N hours."


Sounds like Eros & E & capabilities.  There have been
other efforts in this in the past, going back some
time, but it seems that Eros/E/Caps represents the most
advanced in general mainstream "prove this is so" comuputing.


iang

---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo at metzdowd.com