1825 search results - page 16 / 365 » Cryptographic Securities Exchanges |
105
click to vote
ACISP
2010
Springer
15 years 2 months ago
2010
Springer
We provide the first description of and security model for authenticated key exchange protocols with predicate-based authentication. In addition to the standard goal of session ke...
105
click to vote
CSFW
2007
IEEE
15 years 7 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...
126
click to vote
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
SPW
2004
Springer
15 years 6 months ago
2004
Springer
ASM
2008
ASM
15 years 3 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...