34 search results - page 4 / 7 » Replayer: automatic protocol replay by binary analysis |
FC
2010
Springer
13 years 6 months ago
2010
Springer
This work presents a cryptographic analysis of AN.ON’s anonymization protocols. We have discovered three flaws of differing severity. The first is caused by the fact that the ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
To protect against replay attacks, many Internet protocols rely on nonces to guarantee freshness. In practice, the server generates these nonces during the initial handshake, but ...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...