WTC2: Impact-Aware Threat Analysis for Water Treatment Centers Conference

Datta, Amarjit, Rahman, Mohammad Ashiqur, Shahriar, Hossain. (2020). WTC2: Impact-Aware Threat Analysis for Water Treatment Centers . 473-482. 10.1109/COMPSAC48688.2020.0-206

cited authors

  • Datta, Amarjit; Rahman, Mohammad Ashiqur; Shahriar, Hossain

sustainable development goals

authors

date/time interval

  • July 13, 2020 -

publication date

  • January 1, 2020

webpage

keywords

  • Computer Science
  • Computer Science, Interdisciplinary Applications
  • Computer Science, Software Engineering
  • SATISFIABILITY MODULO THEORIES
  • Science & Technology
  • Technology
  • Water treatment center
  • formal methods
  • security
  • threat analysis

Location

  • ELECTR NETWORK

Digital Object Identifier (DOI)

Conference

  • 44th Annual IEEE-Computer-Society International Conference on Computers, Software, and Applications (COMPSAC)

publisher

  • IEEE

start page

  • 473

end page

  • 482