Sciweavers

3751 search results - page 14 / 751

» Events in security protocols

19

CSFW
1994
IEEE

83views Security Privacy» more CSFW 1994»

A Model of Computation for the NRL Protocol Analyzer

13 years 11 months ago

A Model of Computation for the NRL Protocol Analyzer

Download www.cse.msu.edu

Catherine Meadows

claim paper

Read More »

19

CCS
1993
ACM

97views Security Privacy» more CCS 1993»

Random Oracles are Practical: A Paradigm for Designing Efficient Protocols

13 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 »

25

FOSAD
2000
Springer

99views Security Privacy» more FOSAD 2000»

The Logic of Authentication Protocols

13 years 11 months ago

The Logic of Authentication Protocols

Download www.nrl.navy.mil

Paul F. Syverson, Iliano Cervesato

claim paper

Read More »

20

ACISP
2010
Springer

154views Security Privacy» more ACISP 2010»

Additive Combinatorics and Discrete Logarithm Based Range Protocols

13 years 9 months ago

Additive Combinatorics and Discrete Logarithm Based Range Protocols

Download cs.ioc.ee

Rafik Chaabouni, Helger Lipmaa, Abhi Shelat

claim paper

Read More »

18

SP
2002
IEEE

107views Security Privacy» more SP 2002»

P5: A Protocol for Scalable Anonymous Communication

13 years 7 months ago

P5: A Protocol for Scalable Anonymous Communication

Download www.cs.umd.edu

Rob Sherwood, Bobby Bhattacharjee, Aravind Sriniva...

claim paper

Read More »

« Prev « First page 14 / 751 Last » Next »