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]

@inproceedings{YanNM08,
  title = {Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model},
  author = {Ben Yan and Masahide Nakamura and Ken-ichi Matsumoto},
  year = {2008},
  doi = {10.1109/FGCN.2008.81},
  url = {http://doi.ieeecomputersociety.org/10.1109/FGCN.2008.81},
  tags = {analysis},
  researchr = {https://researchr.org/publication/YanNM08},
  cites = {0},
  citedby = {0},
  pages = {428-436},
  booktitle = {The Second International Conference on Future Generation Communication and Networking, FGCN 2008, Volume 2, Workshops, Hainan Island, China, December 13-15, 2008},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3431-2},
}