Sciweavers

3504 search results - page 28 / 701

» Secure protocol composition

120

Voted

CCS
1997
ACM

99views Security Privacy» more CCS 1997»

A Calculus for Cryptographic Protocols: The Spi Calculus

15 years 11 months ago

A Calculus for Cryptographic Protocols: The Spi Calculus

Download www.hpl.hp.com

Martín Abadi, Andrew D. Gordon

claim paper

Read More »

147

Voted

CSFW
1994
IEEE

83views Security Privacy» more CSFW 1994»

A Model of Computation for the NRL Protocol Analyzer

15 years 11 months ago

A Model of Computation for the NRL Protocol Analyzer

Download www.cse.msu.edu

Catherine Meadows

claim paper

Read More »

142

CCS
1993
ACM

97views Security Privacy» more CCS 1993»

Random Oracles are Practical: A Paradigm for Designing Efficient Protocols

15 years 11 months ago

Random Oracles are Practical: A Paradigm for Designing Efficient Protocols

Download cseweb.ucsd.edu

Mihir Bellare, Phillip Rogaway

claim paper

Read More »

162

FOSAD
2000
Springer

99views Security Privacy» more FOSAD 2000»

The Logic of Authentication Protocols

15 years 10 months ago

The Logic of Authentication Protocols

Download www.nrl.navy.mil

Paul F. Syverson, Iliano Cervesato

claim paper

Read More »

144

Voted

ACISP
2010
Springer

154views Security Privacy» more ACISP 2010»

Additive Combinatorics and Discrete Logarithm Based Range Protocols

15 years 8 months ago

Additive Combinatorics and Discrete Logarithm Based Range Protocols

Download cs.ioc.ee

Rafik Chaabouni, Helger Lipmaa, Abhi Shelat

claim paper

Read More »

« Prev « First page 28 / 701 Last » Next »