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 . 2015 11TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT (CNSM)

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