Search Sciweavers | Sciweavers

5324 search results - page 94 / 1065

» Internet Security Protocols

152

click to vote

TARK
2007
Springer

89views Automated Reasoning» more TARK 2007»

Preservation of epistemic properties in security protocol implementations

16 years 11 days ago

Download www.cse.unsw.edu.au

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 »

141

click to vote

ISPEC
2009
Springer

120views Security Privacy» more ISPEC 2009»

Analysing Protocol Implementations

16 years 1 months ago

Download www.nr.no

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

claim paper

Read More »

153

click to vote

CSFW
2004
IEEE

112views Security Privacy» more CSFW 2004»

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols

15 years 10 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 10 months ago

Download www.opentc.net

Liqun Chen, Rainer Landfermann, Hans Löhr, Ma...

claim paper

Read More »

136

click to vote

CCS
2010
ACM

209views Security Privacy» more CCS 2010»

Inference and analysis of formal models of botnet command and control protocols

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers