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 -
bulletin of the south ural state university ser computer technologies automatic control and radioelectronics
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom