Formalising the Impact of Security Attacks on IoT Safety

Ehsan Poorhadi, Elena Troubitysna, György Dán. Formalising the Impact of Security Attacks on IoT Safety. In António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira 0001, editors, Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. Volume 12235 of Lecture Notes in Computer Science, pages 69-81, Springer, 2020. [doi]

@inproceedings{PoorhadiTD20,
  title = {Formalising the Impact of Security Attacks on IoT Safety},
  author = {Ehsan Poorhadi and Elena Troubitysna and György Dán},
  year = {2020},
  doi = {10.1007/978-3-030-55583-2_5},
  url = {https://doi.org/10.1007/978-3-030-55583-2_5},
  researchr = {https://researchr.org/publication/PoorhadiTD20},
  cites = {0},
  citedby = {0},
  pages = {69-81},
  booktitle = {Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings},
  editor = {António Casimiro and Frank Ortmeier and Erwin Schoitsch and Friedemann Bitsch and Pedro M. Ferreira 0001},
  volume = {12235},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-55583-2},
}