Sciweavers

2 search results - page 1 / 1
» Secure History Preservation Through Timeline Entanglement
Sort
View
CORR
2002
Springer
93views Education» more  CORR 2002»
13 years 4 months ago
Secure History Preservation Through Timeline Entanglement
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
Petros Maniatis, Mary Baker
ICS
2010
Tsinghua U.
14 years 1 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer