Open AccessAlgorithmization of Reference Security Models of Corporate Automation Systems Based on Formal Security Models
Author(s) -
V S Luzhnov,
Alexander N. Sokolov
Publication year - 2016
Publication title -
vestnik ûžno-uralʹskogo gosudarstvennogo universiteta. seriâ, kompʹûternye tehnologii, upravlenie, èlektronika
Language(s) - English
Resource type - Journals
eISSN - 2409-6571
pISSN - 1991-976X
DOI - 10.14529/ctcr160303
Subject(s) - computer science , computer security model , security testing , key (lock) , automation , graph , process (computing) , realization (probability) , computer security , security information and event management , software engineering , cloud computing security , theoretical computer science , engineering , programming language , cloud computing , statistics , mathematics , mechanical engineering , operating system