|
|
|
|
|
|
|
|
|
|
|
|
| home | help | back | first | fref | pref | prev | next | nref | lref | last | post |
X-Original-To: cryptography@metzdowd.com X-Original-To: cryptography@metzdowd.com Date: Thu, 11 Dec 2003 19:25:26 -0500 From: Ian Grigg <iang@systemics.com> Reply-To: iang@systemics.com To: "John S. Denker" <jsd@av8n.com> Cc: cryptography@metzdowd.com "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@metzdowd.com
|
|
|
|
|
|
|
|
|
|
|
|
| home | help | back | first | fref | pref | prev | next | nref | lref | last | post |