Search Sciweavers | Sciweavers

3751 search results - page 21 / 751

» Events in security protocols

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

14 years 29 days ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

click to vote

SPW
1999
Springer

84views Security Privacy» more SPW 1999»

Trust Management and Network Layer Security Protocols

13 years 12 months ago

Download www1.cs.columbia.edu

Matt Blaze, John Ioannidis, Angelos D. Keromytis

claim paper

Read More »

click to vote

CSFW
2006
IEEE

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

13 years 11 months ago

Download research.microsoft.com

Karthikeyan Bhargavan, Cédric Fournet, Andr...

claim paper

Read More »

click to vote

SP
2009
IEEE

95views Security Privacy» more SP 2009»

Prospex: Protocol Specification Extraction

14 years 2 months ago

Download www.iseclab.org

Paolo Milani Comparetti, Gilbert Wondracek, Christ...

claim paper

Read More »

click to vote

CCS
2007
ACM

94views Security Privacy» more CCS 2007»

Selecting theories and nonce generation for recursive protocols

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers