256 search results - page 33 / 52 » Reusing Static Keys in Key Agreement Protocols |
121
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
111
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
120
click to vote
DAIS
2008
15 years 3 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...
128
click to vote
ACNS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We examine the use of randomness extraction and expansion in key agreement (KA) protocols to generate uniformly random keys in the standard model. Although existing works...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Event schedulers, well-known from groupware and social software, typically share the problem that they disclose detailed availability patterns of their users. This paper disting...