Sciweavers

3751 search results - page 10 / 751

» Events in security protocols

15

CSFW
2007
IEEE

64views Security Privacy» more CSFW 2007»

Causality-based Abstraction of Multiplicity in Security Protocols

14 years 2 months ago

Causality-based Abstraction of Multiplicity in Security Protocols

Download www.infsec.cs.uni-saarland.de

Michael Backes, Agostino Cortesi, Matteo Maffei

claim paper

Read More »

16

IWSEC
2007
Springer

95views Security Privacy» more IWSEC 2007»

On Security Models and Compilers for Group Key Exchange Protocols

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

18

CCS
2004
ACM

116views Security Privacy» more CCS 2004»

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

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

22

CSFW
1997
IEEE

109views Security Privacy» more CSFW 1997»

Proving Properties of Security Protocols by Induction

13 years 12 months ago

Proving Properties of Security Protocols by Induction

Download www.cl.cam.ac.uk

Lawrence C. Paulson

claim paper

Read More »

21

CSFW
1997
IEEE

114views Security Privacy» more CSFW 1997»

Casper: A Compiler for the Analysis of Security Protocols

13 years 12 months ago

Casper: A Compiler for the Analysis of Security Protocols

Download web.comlab.ox.ac.uk

Gavin Lowe

claim paper

Read More »

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