Automated Synthesis of Resiliency Configurations for Cyber Networks Conference

Rahman, Mohammad Ashiqur, Farooq, Abdullah, Datta, Amarjit et al. (2016). Automated Synthesis of Resiliency Configurations for Cyber Networks . 243-251.

cited authors

  • Rahman, Mohammad Ashiqur; Farooq, Abdullah; Datta, Amarjit; Al-Shaer, Ehab

date/time interval

  • October 17, 2016 -

publication date

  • January 1, 2016

keywords

  • Computer Science
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • Telecommunications
  • automated synthesis
  • diversity
  • formal model
  • isolation
  • resiliency configuration

Location

  • Philadelphia, PA

Conference

  • IEEE Conference on Communications and Network Security (CNS)

publisher

  • IEEE

start page

  • 243

end page

  • 251