"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 [EMAIL PROTECTED]