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 »

137

click to vote

ISPEC
2009
Springer

120views Security Privacy» more ISPEC 2009»

Analysing Protocol Implementations

16 years 20 days ago

Download www.nr.no

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

claim paper

Read More »

148

click to vote

CSFW
2004
IEEE

112views Security Privacy» more CSFW 2004»

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols

15 years 9 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 »

147

click to vote

CCS
2006
ACM

103views Security Privacy» more CCS 2006»

A protocol for property-based attestation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers