Keisuke Ohmori, Ayako Suzuki, Mariko Kawabata, Ryu Matsushima, Manabu Ohmuro, Toshifumi Kai, Shigeru Nishiyama. Mathematical Models of IP Traceback Methods and Their Verification. In Ryoichi Sasaki, Sihan Qing, Eiji Okamoto, Hiroshi Yoshiura, editors, Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30 - June 1, 2005, Chiba, Japan. pages 155-170, Springer, 2005.
Abstract is missing.