Describing and Verifying Integrated Services of Home Network Systems.

Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto

Browse the full APSEC paper archive.