Ben Yan, Masahide Nakamura, Ken-ichi Matsumoto. Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model. In The Second International Conference on Future Generation Communication and Networking, FGCN 2008, Volume 2, Workshops, Hainan Island, China, December 13-15, 2008. pages 428-436, IEEE Computer Society, 2008. [doi]
Abstract is missing.