Search Sciweavers | Sciweavers

3115 search results - page 25 / 623

» Synthesizing Secure Protocols

click to vote

CRITIS
2006

98views Security Privacy» more CRITIS 2006»

Multidomain Virtual Security Negotiation over the Session Initiation Protocol (SIP)

14 years 22 days ago

Download critis06.lcc.uma.es

Daniel J. Martínez-Manzano, Gabriel L&oacut...

claim paper

Read More »

click to vote

TARK
2007
Springer

89views Automated Reasoning» more TARK 2007»

Preservation of epistemic properties in security protocol implementations

14 years 3 months 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 »

click to vote

ISPEC
2009
Springer

120views Security Privacy» more ISPEC 2009»

Analysing Protocol Implementations

14 years 3 months ago

Download www.nr.no

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

claim paper

Read More »

click to vote

CSFW
2004
IEEE

112views Security Privacy» more CSFW 2004»

Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols

14 years 22 days 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 »

click to vote

CCS
2006
ACM

103views Security Privacy» more CCS 2006»

A protocol for property-based attestation

14 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers