3210 search results - page 298 / 642 » Secure Similarity Search |
173
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
144
click to vote
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Many basic tasks in computational biology involve operations on individual DNA and protein sequences. These sequences, even when anonymized, are vulnerable to re-identification a...
197
click to vote
FSTTCS
2007
Springer
16 years 26 days 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...
177
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
The proliferation of all kinds of devices with different security requirements and constraints, and the arms-race nature of the security problem are increasingly demanding the de...
181
click to vote
ISI
2007
Springer
16 years 26 days ago
2007
Springer
—A Weblog is a Web site where entries are made in diary style, maintained by its sole author – a blogger, and displayed in a reverse chronological order. Due to the freedom and...