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

A. H. M. Jakaria Mohammad Ashiqur Rahman Aniruddha Gokhale

Published in: CNSM (2019)

Keyphrases

formal model
case study
control system
predicate calculus
business process
key management
cyber security
supervisory control
software development
formal models
security properties
probabilistic knowledge
security patterns
process algebra