| | [No title] (Site not responding. Last check: ) |
 | | Attack Resistant Trust Metrics Raph Levien, UC Berkeley (July 2004) Abstract This dissertation characterizes the space of trust metrics, under both the scalar assumption where each assertion is evaluated independently, and the group assumption where a group of assertions are evaluated in tandem. |
 | | We present a quantitative framework for evaluating the attack resistance of trust metrics, and give examples of trust metrics that are within a small factor of optimum compared to theoretical upper bounds. |
 | | Next, here are a few words about Ghilbert: Design of the Ghilbert proof format (very rough draft) Raph Levien (21 Oct 2003) Introduction The long-standing dream of a worldwide repository of rigorously formal proofs is close to being realized. |
| www.ma.utexas.edu /~hdm/banter/metamath2.txt (468 words) |