155 search results - page 6 / 31 » Cryptographic Protocol Analysis of AN.ON |
108
click to vote
TACAS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
143
click to vote
LPAR
2007
Springer
16 years 2 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
155
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
153
click to vote
IPPS
2008
IEEE
16 years 10 days ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
153
click to vote
STOC
2005
ACM
16 years 6 months ago
2005
ACM
We present a new constant round protocol for non-malleable zero-knowledge. Using this protocol as a subroutine, we obtain a new constant-round protocol for non-malleable commitmen...