132 search results - page 14 / 27 » Modelling Attacker's Knowledge for Cascade Cryptographic Pro... |
106
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
109
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
112
Voted
CRYPTO
2010
Springer
15 years 2 months ago
2010
Springer
Motivated by the question of basing cryptographic protocols on stateless tamper-proof hardware tokens, we revisit the question of unconditional two-prover zero-knowledge proofs fo...
117
click to vote
FORTE
2004
15 years 3 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
148
click to vote
FOCS
1999
IEEE
15 years 6 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...