Authenticated key-exchange protocols allow two participants A and B, communicating over a
public network and each holding an authentication means to exchange a shared secret …

This article presents the design, implementation, and evaluation of CATS, a network storage
service with strong accountability properties. CATS offers a simple web services interface …

(22) Filed: Sep. 15, 2000 1,, and then said co-server carries out N functions: Fl.(i0... In)
describes What the co-server returns to party P,. The (51) Int-Cl- preferred embodiment of …

The functionality of mobile devices, such as cell phones and personal digital assistants
(PDAs), has evolved to include various applications where security is a critical concern …

The need to increase the hostile attack resilience of distributed and internet-worked
computer systems is critical and pressing. This thesis contributes to concrete improvements …

Authenticated key exchange protocols allow two participants A and B, communicating over a
public network and each holding an authentication means, to exchange a shared secret …

With the prevalence of Internet, software executing on a broad range of systems are
constantly subject to malicious attacks in various forms. As a result, program execution may …

The large number of successful information security attacks in recent years, and the extent of
damage that they have caused, have led to the emergence of security as an important …