4 search results - page 1 / 1 » Knowledge-proof based versatile smart card verification prot... |
CCR
2000
13 years 4 months ago
2000
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
WISTP
2007
Springer
13 years 11 months ago
2007
Springer
The network is becoming more and more versatile because of the variety of the computing resources and the communication technologies that have become available. The mobility of the...
FC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
ESORICS
2002
Springer
14 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...