"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.


The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to [EMAIL PROTECTED]

Reply via email to