Sciweavers

5324 search results - page 68 / 1065
» Internet Security Protocols
Sort
View
ECUMN
2007
Springer
15 years 4 months ago
A PKI Approach Targeting the Provision of a Minimum Security Level within Internet
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
CSFW
2003
IEEE
15 years 3 months ago
A Derivation System for Security Protocols and its Logical Formalization
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
SPW
1999
Springer
15 years 2 months ago
Trust Management and Network Layer Security Protocols
Matt Blaze, John Ioannidis, Angelos D. Keromytis
CSFW
2006
IEEE
15 years 1 months ago
Verified Interoperable Implementations of Security Protocols
Karthikeyan Bhargavan, Cédric Fournet, Andr...
SP
2009
IEEE
15 years 4 months ago
Prospex: Protocol Specification Extraction
Paolo Milani Comparetti, Gilbert Wondracek, Christ...