691 search results - page 87 / 139 » A New Security Model for Authenticated Key Agreement |
129
click to vote
IACR
2011
14 years 1 months ago
2011
Aggregation schemes allow to combine several cryptographic values like message authentication codes or signatures into a shorter value such that, despite compression, some notion o...
126
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In secure multi-party computation n parties jointly evaluate an n-variate function f in the presence of an adversary which can corrupt up till t parties. All honest parties are req...
114
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
117
click to vote
ACSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
The Solar Trust Model provides a method by which the sender of a message can be authenticated, and the level of trust that can be placed in the sender of the message or the messag...
142
click to vote
TIT
2010
14 years 8 months ago
2010
This paper considers the construction and analysis of pseudo-random functions (PRFs) with specific reference to modes of operations of a block cipher. In the context of message aut...