Login / Signup
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