Search Sciweavers | Sciweavers

3088 search results - page 24 / 618

» Multichannel Security Protocols

131

Voted

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

15 years 9 months ago

Download www.andrew.cmu.edu

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

claim paper

Read More »

113

click to vote

SPW
1999
Springer

84views Security Privacy» more SPW 1999»

Trust Management and Network Layer Security Protocols

15 years 8 months ago

Download www1.cs.columbia.edu

Matt Blaze, John Ioannidis, Angelos D. Keromytis

claim paper

Read More »

122

Voted

CSFW
2006
IEEE

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

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

15 years 10 months ago

Download www.iseclab.org

Paolo Milani Comparetti, Gilbert Wondracek, Christ...

claim paper

Read More »

104

Voted

CCS
2007
ACM

94views Security Privacy» more CCS 2007»

Selecting theories and nonce generation for recursive protocols

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers