17 search results - page 4 / 4 » From Protocol Specifications to Flaws and Attack Scenarios: ... |
CCS
2010
ACM
13 years 6 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
CADE
2008
Springer
14 years 8 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...