1. Yastreb, N.A., The Fourth Industrial Revolution: Global industrial networks and the Internet of Things, Innovatsion. Vestn. Reg., 2014, no. 4, pp. 22–26.
2. Threats for The Future: Be Are Ready. Special Report on Strategies to Deal with Complex Threats. https://media.kaspersky.com/pdf/APT_Report_ONLINE_AW_rus.pdf.
3. Halderman, J.A., Schoen, S.D., Heninger, N., Clarkson, W., Paul, W., Calandrino, J.A., Feldman, A.J., Appelbaum, J., and Felten, E.W., Lest we remember: Cold boot attacks on encryption keys, Proceedings of the 17th USENIX Security Symposium, 2008, pp. 45–60. https://www.usenix.org/events/sec08/tech/full_papers/ halderman/halderman.pdf.
4. Lamport, L., Proving the correctness of multiprocess programs, IEEE Trans. Software Eng., 1977, vol. 3, no. 2, pp. 125–143. doi 10.1109/TSE.1977.229904
5. Schneider, F.B., Enforceable security policies, ACM Trans. Inf. Syst. Secur., 2000, vol. 3, no. 1, pp. 30–50. doi 10.1145/353323.353382