154 search results - page 13 / 31 » Proving Group Protocols Secure Against Eavesdroppers |
108
click to vote
IJISEC
2007
15 years 1 months ago
2007
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
108
click to vote
CRYPTO
2005
Springer
15 years 6 months ago
2005
Springer
Forgery and counterfeiting are emerging as serious security risks in low-cost pervasive computing devices. These devices lack the computational, storage, power, and communication r...
PET
2004
Springer
15 years 6 months ago
2004
Springer
We define a new type of mix network that offers a reduced form of robustness: the mixnet can prove that every message it outputs corresponds to an input submitted by a player wit...
123
click to vote
ACSC
2007
IEEE
15 years 5 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
117
click to vote
DIM
2005
ACM
15 years 3 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...