4111 search results - page 245 / 823 » Security, Protocols, and Trust |
96
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
96
Voted
MOBIHOC
2006
ACM
16 years 10 days ago
2006
ACM
92
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. K
99
Voted
ACISP
2007
Springer
15 years 4 months ago
2007
Springer
This work deals with the security challenges in authentication protocols employing volatile biometric features, where the authentication is indeed a comparison between a fresh biom...
ENTCS
2000
15 years 17 days ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...