1653 search results - page 135 / 331 » Timed analysis of security protocols |
123
Voted
ASIAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
134
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Link analysis methods have been used successfully for knowledge discovery from the link structure of mutually linking entities. Existing link analysis methods have been inherently...
115
Voted
GECCO
2007
Springer
15 years 9 months 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...
149
click to vote
ICICS
2005
Springer
15 years 9 months ago
2005
Springer
Secure socket layer (SSL) is the most popular protocol to secure Internet communications. Since SSL handshake requires a large amount of computational resource, batch RSA was propo...
126
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Distributed time synchronization is an important part of a sensor network where sensing and actuation must be coordinated across multiple nodes. Several time synchronization pr...