AbstractDolev and Yao (1983) developed an elegant characterization of two-party cascade protocols that are secure. Pan (1985) extended their result to the case of p-party cascade protocols. Here we show that there is no such simple characterization of nam-stamp protocols that are secure
. We develop principles and rules for achieving secrecy properties in security protocols. Our approa...
Abstract—We study the composition of security protocols when protocols share secrets such as keys. W...
Over the years, cryptographic research has proposed solutions to many security problems. The securit...
AbstractDolev and Yao (1983) developed an elegant characterization of two-party cascade protocols th...
AbstractCharacterizations of secure multi-party symmetric and nonsymmetric cascade protocols are giv...
In this work, we present an algebraic approach for modeling the two-party cascade protocol of Dolev-...
In this work, we present an algebraic approach for modeling the two-party cascade protocol of Dolev-...
Abstract. Security protocols are small programs that are executed in hostile environments. Many resu...
AbstractTwo-party communication protocols for public-key cryptosystems are studied. The formal model...
A sufficient condition for secureping-pong protocols is pretsented. This con dition, called name-suf...
Abstract. In the mid 1980s, Yao presented a constant-round protocol for securely computing any two-p...
We introduce a family of multi-party authentication protocols and discuss six novel protocols, which...
Abstract. Security protocols are small programs that are executed in hostile environments. Many resu...
In the mid 1980’s, Yao presented a constant-round protocol for securely computing any two-party func...
International audienceSecurity protocols are small programs that are executed in hostile environment...
. We develop principles and rules for achieving secrecy properties in security protocols. Our approa...
Abstract—We study the composition of security protocols when protocols share secrets such as keys. W...
Over the years, cryptographic research has proposed solutions to many security problems. The securit...
AbstractDolev and Yao (1983) developed an elegant characterization of two-party cascade protocols th...
AbstractCharacterizations of secure multi-party symmetric and nonsymmetric cascade protocols are giv...
In this work, we present an algebraic approach for modeling the two-party cascade protocol of Dolev-...
In this work, we present an algebraic approach for modeling the two-party cascade protocol of Dolev-...
Abstract. Security protocols are small programs that are executed in hostile environments. Many resu...
AbstractTwo-party communication protocols for public-key cryptosystems are studied. The formal model...
A sufficient condition for secureping-pong protocols is pretsented. This con dition, called name-suf...
Abstract. In the mid 1980s, Yao presented a constant-round protocol for securely computing any two-p...
We introduce a family of multi-party authentication protocols and discuss six novel protocols, which...
Abstract. Security protocols are small programs that are executed in hostile environments. Many resu...
In the mid 1980’s, Yao presented a constant-round protocol for securely computing any two-party func...
International audienceSecurity protocols are small programs that are executed in hostile environment...
. We develop principles and rules for achieving secrecy properties in security protocols. Our approa...
Abstract—We study the composition of security protocols when protocols share secrets such as keys. W...
Over the years, cryptographic research has proposed solutions to many security problems. The securit...
DOI
Add to ORKG