5488 search results - page 44 / 1098 » On the Secure Implementation of Security Protocols |
143
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
130
Voted
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
111
Voted
SPW
1999
Springer
15 years 7 months ago
1999
Springer
92
Voted
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
96
Voted
EUROSEC
2010
ACM
15 years 6 months ago
2010
ACM