Mathematical Models of IP Traceback Methods and Their Verification. - Keisuke Ohmori; Ayako Suzuki; Mariko Kawabata; Ryu Matsushima; Manabu Ohmuro; Toshifumi Kai; Shigeru Nishiyama (SEC, 2005)