3115 search results - page 331 / 623 » Synthesizing Secure Protocols |
181
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
We propose a novel entity authentication approach for pervasive computing environments. A person uses a single device, the Master Key, which aggregates all his digital forms of ac...
152
click to vote
WISA
2009
Springer
16 years 1 months ago
2009
Springer
RFID-based access control solutions for mobile environments, e.g. ticketing systems for sport events, commonly rely on readers that are not continuously connected to the back-end s...
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...
187
click to vote
ACNS
2007
Springer
16 years 25 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...
158
click to vote
GECCO
2007
Springer
16 years 24 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...