Sciweavers

4111 search results - page 90 / 823

» Security, Protocols, and Trust

21

CCS
1997
ACM

99views Security Privacy» more CCS 1997»

A Calculus for Cryptographic Protocols: The Spi Calculus

14 years 2 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 »

27

CSFW
1994
IEEE

83views Security Privacy» more CSFW 1994»

A Model of Computation for the NRL Protocol Analyzer

14 years 2 months ago

A Model of Computation for the NRL Protocol Analyzer

Download www.cse.msu.edu

Catherine Meadows

claim paper

Read More »

23

CCS
1993
ACM

97views Security Privacy» more CCS 1993»

Random Oracles are Practical: A Paradigm for Designing Efficient Protocols

14 years 2 months ago

Random Oracles are Practical: A Paradigm for Designing Efficient Protocols

Download cseweb.ucsd.edu

Mihir Bellare, Phillip Rogaway

claim paper

Read More »

30

FOSAD
2000
Springer

99views Security Privacy» more FOSAD 2000»

The Logic of Authentication Protocols

14 years 1 months ago

The Logic of Authentication Protocols

Download www.nrl.navy.mil

Paul F. Syverson, Iliano Cervesato

claim paper

Read More »

23

ACISP
2010
Springer

154views Security Privacy» more ACISP 2010»

Additive Combinatorics and Discrete Logarithm Based Range Protocols

13 years 11 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 90 / 823 Last » Next »