1825 search results - page 149 / 365 » Cryptographic Securities Exchanges |
145
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
Signcryption is a new cryptographic primitive that performs signing and encryption simultaneously, at a cost significantly lower than that required by the traditional signature-th...
165
click to vote
FOCS
1999
IEEE
15 years 8 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...
146
click to vote
ISICT
2003
15 years 5 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
173
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper proposes and specifies a protocol for distributing and managing group keys in ad hoc environments, which applies for the Secure Optimized Link State Routing Protocol. Ou...
127
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we prove that type-tagging prevents type-flaw attacks on security protocols that use the Exclusive-OR operator as our main contribution. Our proof method is general ...