Cуществующие методы контроля и обеспечения целостности вычислительных программ не гарантируют выполнение требований защиты вычислений от скрытых модификаций. Возникает проблемная ситуация, содержание которой заключается в противоречии между всевозрастающей необходимостью обеспечения корректного функционирования программ выполнения специальных расчетных задач в критически важных информационных системах РФ в условиях потенциально возможных скрытых модификаций вычислений и неспособностью современных технологий администрирования безопасности по обеспечению гарантированного сохранения параметров корректного выполнения программ. Разрешение указанного противоречия требует создания специальной технологии верификации корректности алгоритмов выполнения программ при возможных искажениях процессов вычислений.
< ... >
It should be noted that existing methods of control and ensuring the integrity of computer programs does not guarantee the fulfilment of the protection requirements of the computation from hidden modifications. There is a problem situation, the content of which is the contradiction between the ever-increasing need to ensure the correct functioning of the software perform specific design tasks in mission-critical information systems of the Russian Federation in the conditions of latent modifications of the calculations and the imperfection of these methods. The lifting of this contradiction required a new technology of verification of correctness of algorithms of program execution when the distortion of processes of computation.
Keywords:
passport program, computational tasks, calculations, correctness of software, methods of control and integrity
Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»
