Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model

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]

Authors

Ben Yan

This author has not been identified. Look up 'Ben Yan' in Google

Masahide Nakamura

This author has not been identified. It may be one of the following persons: Look up 'Masahide Nakamura' in Google

Ken-ichi Matsumoto

This author has not been identified. Look up 'Ken-ichi Matsumoto' in Google