Search Sciweavers | Sciweavers

We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...

Ron van der Meyden, Thomas Wilke

claim paper

Read More »

100

click to vote

ISPEC
2009
Springer

120views Security Privacy» more ISPEC 2009»

Analysing Protocol Implementations

15 years 10 months ago

Download www.nr.no

Anders Moen Hagalisletto, Lars Strand, Wolfgang Le...

claim paper

Read More »

121

Voted

CSFW
2004
IEEE

112views Security Privacy» more CSFW 2004»

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols

15 years 7 months ago

Download www.uclouvain.be

The A-GDH.2 and SA-GDH.2 authenticated group key

Olivier Pereira, Jean-Jacques Quisquater

claim paper

Read More »

109

click to vote

CCS
2006
ACM

103views Security Privacy» more CCS 2006»

A protocol for property-based attestation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers