Sciweavers

4111 search results - page 85 / 823

» Security, Protocols, and Trust

19

IWSEC
2007
Springer

95views Security Privacy» more IWSEC 2007»

On Security Models and Compilers for Group Key Exchange Protocols

14 years 4 months ago

On Security Models and Compilers for Group Key Exchange Protocols

Download www.ssi.gouv.fr

Emmanuel Bresson, Mark Manulis, Jörg Schwenk

claim paper

Read More »

26

CCS
2004
ACM

116views Security Privacy» more CCS 2004»

A decision procedure for the verification of security protocols with explicit destructors

14 years 3 months ago

A decision procedure for the verification of security protocols with explicit destructors

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Florent Jacquemard

claim paper

Read More »

29

CSFW
1997
IEEE

109views Security Privacy» more CSFW 1997»

Proving Properties of Security Protocols by Induction

14 years 2 months ago

Proving Properties of Security Protocols by Induction

Download www.cl.cam.ac.uk

Lawrence C. Paulson

claim paper

Read More »

26

CSFW
1997
IEEE

114views Security Privacy» more CSFW 1997»

Casper: A Compiler for the Analysis of Security Protocols

14 years 2 months ago

Casper: A Compiler for the Analysis of Security Protocols

Download web.comlab.ox.ac.uk

Gavin Lowe

claim paper

Read More »

31

CSFW
1996
IEEE

110views Security Privacy» more CSFW 1996»

A High-Throughput Secure Reliable Multicast Protocol

14 years 2 months ago

A High-Throughput Secure Reliable Multicast Protocol

Download www.cs.unc.edu

Dalia Malki, Michael K. Reiter

claim paper

Read More »

« Prev « First page 85 / 823 Last » Next »