Vulnerability Identification of Operational Technology Protocol Specifications Through Formal Modeling.

Matthew Boeding Michael Hempel Hamid Sharif

Published in: ICSPCS (2023)

Keyphrases

formal specification
reactive systems
formal analysis
protocol specification
case study
modeling method
modeling language
key technologies
formal model
lightweight
operational semantics
formal models
formal language
cost reduction
high level
risk assessment
privacy preserving
data processing
colored petri nets