Анисимов, А.В.; Новокшонов, А.К.
(Кибернетика и системный анализ, 2018)
Предложено решение проблемы проверки целостности арифметических программ c ветвлениями и циклами, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение ...