Return to Issue Details Algorithmization of Reference Security Models of Corporate Automation Systems Based on Formal Security Models Download Download PDF