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)

15 years 1 months 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

15 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

15 years 4 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

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

click to vote

CCS
2006
ACM

103views Security Privacy» more CCS 2006»

A protocol for property-based attestation

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers