1875 search results - page 92 / 375 » Automatic Network Protocol Analysis |
111
Voted
SAINT
2008
IEEE
15 years 9 months ago
2008
IEEE
An increasing proportion of distributed hash tables (DHTs) maintain additional routing information regarding each node’s immediately surrounding neighbors in a network overlay. ...
144
Voted
ACSW
2006
15 years 4 months ago
2006
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
107
Voted
CCS
2004
ACM
15 years 8 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
110
Voted
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
140
Voted
CCS
2010
ACM
15 years 19 days 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 ...