123 search results - page 16 / 25 » Modelling the relative strength of security protocols |
155
Voted
EUROCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
131
Voted
SPW
2000
Springer
15 years 7 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
141
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
131
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
130
Voted
ACNS
2008
Springer
15 years 10 months ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...