1302 search results - page 19 / 261 » Soundness in the Public-Key Model |
160
Voted
SDM
2012
SIAM
13 years 4 months ago
2012
SIAM
Many animals produce long sequences of vocalizations best described as “songs.” In some animals, such as crickets and frogs, these songs are relatively simple and repetitive c...
121
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
122
click to vote
ECCV
2008
Springer
15 years 3 months ago
2008
Springer
Retrieval of similar heart sounds from a sound database has applications in physician training, diagnostic screening, and decision support. In this paper, we exploit a visual rende...
ICCSA
2007
Springer
15 years 5 months ago
2007
Springer
In order to achieve a high performance in a real implementation of the non-repudiation service it is necessary to estimate timeouts, TTP features, publication key time, number of o...
156
click to vote
IADIS
2003
15 years 3 months ago
2003
As an open source project, Open Simple Secure Transaction (OpenSST) protocol aims to be a secure and transactionoriented protocol for the unsecured network. At present a prototype...