A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study Conference

Jakaria, AHM, Rahman, Mohammad Ashiqur, Gokhale, Aniruddha. (2019). A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study .

cited authors

  • Jakaria, AHM; Rahman, Mohammad Ashiqur; Gokhale, Aniruddha

sustainable development goals

date/time interval

  • October 21, 2019 -

publication date

  • January 1, 2019

keywords

  • Computer Science
  • Computer Science, Hardware & Architecture
  • Computer Science, Information Systems
  • SCADA
  • SDN architecture
  • Science & Technology
  • Technology
  • Telecommunications
  • formal modeling
  • incremental deployment
  • network synthesis
  • smart grid

Location

  • Halifax, CANADA

Conference

  • 15th Int Conf on Network and Serv Management (CNSM) / 1st Int Workshop on Analyt for Serv and Application Management (AnServApp) / Int Workshop on High-Precision Networks Operat and Control, Segment Routing and Serv Function Chaining (HiPNet+SR/SFC)

publisher

  • IEEE