3504 search results - page 387 / 701 » Secure protocol composition |
174
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
188
click to vote
ACNS
2007
Springer
16 years 26 days ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
160
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
We propose a protocol for a local search and a genetic algorithm for the distributed traveling salesman problem (TSP). In the distributed TSP, information regarding the cost funct...
183
click to vote
P2P
2006
IEEE
16 years 20 days ago
2006
IEEE
Application-level multicast systems are vulnerable to attacks that impede nodes from receiving desired data. Live streaming protocols are especially susceptible to packet loss ind...
199
click to vote
FC
2005
Springer
16 years 6 days ago
2005
Springer
We demonstrate how to make voting protocols resistant against manipulation by computationally bounded malicious voters, by extending the previous results of Conitzer and Sandholm i...