947 search results - page 166 / 190 » Provable Implementations of Security Protocols |
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
EUROCRYPT
2000
Springer
14 years 1 months ago
2000
Springer
We show that general one-way trapdoor permutations are sufficient to privately retrieve an entry from a database of size n with total communication complexity strictly less than n....
ALGOSENSORS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we present an Intrusion Detection System designed for wireless sensor networks and show how it can be configured to detect Sinkhole attacks. A Sinkhole at...
INFSOF
2006
13 years 9 months ago
2006
In this paper we propose a novel architecture and approach to provide accountability for Web communities that require a high-level of privacy. A two-layered privacy protection arc...
IJISEC
2010
13 years 7 months ago
2010
We propose a generalization of Paillier's probabilistic public key system, in which the expansion factor is reduced and which allows to adjust the block length of the scheme e...