Search Sciweavers | Sciweavers

3751 search results - page 21 / 751

» Events in security protocols

154

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

15 years 11 months ago

Download www.andrew.cmu.edu

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

claim paper

Read More »

147

click to vote

SPW
1999
Springer

84views Security Privacy» more SPW 1999»

Trust Management and Network Layer Security Protocols

15 years 10 months ago

Download www1.cs.columbia.edu

Matt Blaze, John Ioannidis, Angelos D. Keromytis

claim paper

Read More »

149

click to vote

CSFW
2006
IEEE

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

15 years 9 months ago

Download research.microsoft.com

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

claim paper

Read More »

109

click to vote

SP
2009
IEEE

95views Security Privacy» more SP 2009»

Prospex: Protocol Specification Extraction

16 years 19 days ago

Download www.iseclab.org

Paolo Milani Comparetti, Gilbert Wondracek, Christ...

claim paper

Read More »

130

click to vote

CCS
2007
ACM

94views Security Privacy» more CCS 2007»

Selecting theories and nonce generation for recursive protocols

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers