1825 search results - page 52 / 365 » Cryptographic Securities Exchanges |
112
click to vote
SCN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the past thirty years, cryptology has evolved from a secret art to a modern science. Weaker algorithms and algorithms with short keys are disappearing, political contr...
101
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
135
Voted
SP
1999
IEEE
15 years 7 months ago
1999
IEEE
A sensitive point in public key cryptography is how to protect the private key. We outline a method of protecting private keys using cryptographic camouflage. Specifically, we do ...
124
Voted
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
133
Voted
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...