9 search results - page 1 / 2 » ase 2011 |
ASE
2011
12 years 11 months ago
2011
ASE
2011
12 years 11 months ago
2011
ICC
2011
IEEE
12 years 4 months ago
2011
IEEE
—Anonymity is one of the main motivations for conducting denial-of-service attacks. Currently, there is no mechanism to either identify the true source of an IP packet or to prov...
ASE
2011
12 years 11 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
PAM
2011
Springer
12 years 7 months ago
2011
Springer
China filters Internet traffic in and out of the country. In order to circumvent the firewall, it is helpful to know where the filtering occurs. In this work, we explore the AS-...