155 search results - page 5 / 31 » Cryptographic Protocol Analysis of AN.ON |
161
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
146
click to vote
IACR
2011
14 years 5 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...
115
click to vote
IPL
2010
15 years 4 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
143
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
167
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...