The authenticity of public keys in an asymmetric cryptosystem can be gained in two different
ways: either it is verified explicitly after knowing the public key and its certificate, eg X. 509 …

Secure and authenticated message delivery/storage is one of the major aims of computer
and communication security research. The current standard method to achieve this aim is …

Many security protocols have the aim of authenticating one agent to another. Yet there is no
clear consensus in the academic literature about precisely what" authentication" means. We …

This paper proposes new protocols for two goals: authenticated key agreement and
authenticated key agreement with key confirmation in the asymmetric (public-key) setting. A …

Onion routing provides anonymous connections that are strongly resistant to both
eavesdropping and traffic analysis. Unmodified Internet applications can use these …

Consider the well-known oracle attack: somehow one gets a certain computation result as a
function of a secret key from the secret key owner and tries to extract some information on …

The goal of the paper is to present a set of design principles for avoiding replay attacks in
cryptographic protocols. The principles are easily applied to real protocols and they do not …

57 ABSTRACT A client workstation provides a login address as an anony mous ftp (file
transfer protocol) request, and a password as a user's e-mail address. A destination server …

This paper investigates security proofs for protocols that employ asymmetric (public-key
techniques to solve two problems: entity authentication and authenticated key transport. A …

The contribution of this paper is twofold. First we present a mathematical model for analyzing
this scenario, and exhibit various properties and parameters of this model. Next we describe …