4111 search results - page 682 / 823 » Security, Protocols, and Trust |
179
click to vote
ICDCS
2005
IEEE
16 years 22 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
209
Voted
CRYPTO
2005
Springer
16 years 19 days ago
2005
Springer
Since bit and string oblivious transfer and commitment, two primitives of paramount importance in secure two- and multi-party computation, cannot be realized in an unconditionally ...
159
Voted
EUROPKI
2005
Springer
16 years 19 days ago
2005
Springer
In an electronic cash (e-cash) system, Recoverability means once you have lost your e-cash, you still can get back the amount of e-cash that you have lost. Untraceability means no ...
155
click to vote
ICALP
2005
Springer
16 years 19 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
192
click to vote
SAC
2004
ACM
16 years 16 days ago
2004
ACM
Since fingerprint data are no secrets but of public nature, the verification data transmitted to a smartcard for oncardmatching need protection by appropriate means in order to ...