Verification method of network simulation for pervasive environments. - Kyuhyung Cho; Jongsung Lee 005; Jongin Lim 001; Jongsub Moon (SecureComm, 2007)