Assessment of the security architecture of control system using discretionary security models
Vitaly G. Promyslov · 2017 Tenth International Conference Management of Large-Scale System Development (MLSD) · 2017
The present paper considers a problem of assessment of cybersecurity architecture of modern digital control system using a formal hierarchical model of the cybersecurity policy. As a basis for formal security model the extended discretionary take-grant security model is presented. The formal technique used to provoke thoughts about the way how the rights and information may be passed along the systems assets under given operation conditions. The analysis has been made using an open WWW based security assessment tool Omole (omole.ws).