Showing cs.CRShow all
2 papers · 1 filter
cs.CR2002
Trust Brokerage Systems for the Internet
Walter Eaves
This thesis addresses the problem of providing trusted individuals with confidential information about other individuals, in particular, granting access to databases of personal re…
cs.CR1999
Transport Level Security: a proof using the Gong-Needham-Yahalom Logic
Walter Eaves
This paper provides a proof of the proposed Internet standard Transport Level Security protocol using the Gong-Needham-Yahalom logic. It is intended as a teaching aid and hopes to…