Sciweavers

3751 search results - page 21 / 751
» Events in security protocols
Sort
View
CSFW
2003
IEEE
15 years 11 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 10 months ago
Trust Management and Network Layer Security Protocols
Matt Blaze, John Ioannidis, Angelos D. Keromytis
CSFW
2006
IEEE
15 years 9 months ago
Verified Interoperable Implementations of Security Protocols
Karthikeyan Bhargavan, Cédric Fournet, Andr...
SP
2009
IEEE
16 years 19 days ago
Prospex: Protocol Specification Extraction
Paolo Milani Comparetti, Gilbert Wondracek, Christ...