1875 search results - page 31 / 375 » Automatic Network Protocol Analysis |
NDSS
2002
IEEE
14 years 2 months ago
2002
IEEE
There have been a number of protocols proposed for anonymous network communication. In this paper we investigate attacks by corrupt group members that degrade the anonymity of eac...
ICNSC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Today sending spams has turned to be a major problem in the Internet. It is so serious that more than 80% of the transferred emails are spams. As a result, various methods have...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol allows the schedulability analysis of the n...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...