1161 search results - page 130 / 233 » Group Message Authentication |
165
Voted
HICSS
2008
IEEE
16 years 22 days ago
2008
IEEE
The increasing popularity of Web 2.0 tools, such as blogs, wikis, and virtual worlds, is fundamentally changing how consumers use the Web. The basic core of Web 2.0, that users ca...
163
click to vote
CHES
2007
Springer
16 years 14 days ago
2007
Springer
Message Authentication Code construction Alred and its AES-based instance Alpha-MAC were introduced by Daemen and Rijmen in 2005. We show that under certain assumptions about its i...
143
click to vote
AINA
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper points out the privacy issue in the OCSP (Online Certificate Status Protocol), namely, the OCSP responder learns confidential information – who sends a message to w...
168
click to vote
SP
2006
IEEE
16 years 8 days 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...
150
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...