Kulba, V.V., Shults V.L., Shelkov A.Bb. Ttheoretical issues of development of program and technical methods of ensuring information security.

Abstract: The publication includes the analysis of experience of methodology of modeling of programs and technical mechanisms for guaranteeing information security of automatic systems of various classes and for various purposes. The author provides methods of analysis and synthesis of mechanisms of protection of data from unsanctioned access. The author also reviews formalized methods and models for heightening authenticity of data. The author also provides methodology for ensuring physical security of data and accessibility of information resources. Keywords: economics, security, information security, automatic systems, distributed systems, data protection, protection of data, authenticity of information, reserving data, restoring data, accessibility of resources