Sciweavers

3046 search results - page 120 / 610
» Anonymous communications in the Internet
Sort
View
FUIN
2006
142views more  FUIN 2006»
15 years 6 months ago
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewia...
SAINT
2003
IEEE
15 years 11 months ago
Problems and Tentative solutions in InternetCAR testing with IPv6
Vehicle environment is a good testbed to investigate Internet mobility technologies. Based on testing of building, protocol implementation details and problems to deploy it will b...
Keisuke Uehara, Hideki Sunahara, Jun Murai
GLOBECOM
2008
IEEE
16 years 24 days ago
Inferring Internet Worm Temporal Characteristics
— Internet worm attacks pose a significant threat to network security. In this work, we coin the term Internet worm tomography as inferring the characteristics of Internet worms...
Qian Wang, Zesheng Chen, Kia Makki, Niki Pissinou,...
ECMAST
1999
Springer
166views Multimedia» more  ECMAST 1999»
15 years 10 months ago
The CATI Project: Charging and Accounting Technology for the Internet
The objectives of the CATI project (Charging and Accounting Technology for the Internet) include the design, implementation, and evaluation of charging and accounting mechanisms f...
Burkhard Stiller, Torsten Braun, Manuel Günte...
CCR
2008
86views more  CCR 2008»
15 years 6 months ago
An Integrated Model of Traffic, Geography and Economy in the Internet
Modeling Internet growth is important both for understanding the current network and to predict and improve its future. To date, Internet models have typically attempted to explai...
Petter Holme, Josh Karlin, Stephanie Forrest