52 search results - page 8 / 11 » Validation of Cryptographic Protocols by Efficient Automated... |
WCNC
2008
IEEE
14 years 1 months ago
2008
IEEE
—High node mobility and transient connectivity in Vehicular Ad Hoc NETworks have introduced numerous challenges in the design of efficient communication protocols for these netwo...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
JOC
2000
13 years 7 months ago
2000
Abstract. Since the appearance of public-key cryptography in the seminal DiffieHellman paper, many new schemes have been proposed and many have been broken. Thus, the simple fact t...
TSE
2010
13 years 2 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
We address the automatic classification of scanned input media in order to improve color calibration. Since scanner responses vary significantly according to the type of input, a ...