Search Sciweavers | Sciweavers

5324 search results - page 68 / 1065

» Internet Security Protocols

click to vote

ECUMN
2007
Springer

154views Computer Networks» more ECUMN 2007»

A PKI Approach Targeting the Provision of a Minimum Security Level within Internet

14 years 1 months ago

Download www-lor.int-evry.fr

After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...

Maryline Laurent-Maknavicius

claim paper

Read More »

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers