IoTSAT: A Formal Framework for Security Analysis of the Internet of Things (IoT) Conference

Mohsin, Mujahid, Anwar, Zahid, Husari, Ghaith et al. (2016). IoTSAT: A Formal Framework for Security Analysis of the Internet of Things (IoT) . 180-188.

International Collaboration

cited authors

  • Mohsin, Mujahid; Anwar, Zahid; Husari, Ghaith; Al-Shaer, Ehab; Rahman, Mohammad Ashiqur

sustainable development goals

date/time interval

  • October 17, 2016 -

publication date

  • January 1, 2016

keywords

  • Computer Science
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Formal verification
  • IoT security analysis
  • IoT system modeling
  • IoT threat classification
  • IoT threat modeling
  • SMT
  • Science & Technology
  • Technology
  • Telecommunications

Location

  • Philadelphia, PA

Conference

  • IEEE Conference on Communications and Network Security (CNS)

publisher

  • IEEE

start page

  • 180

end page

  • 188