Верификация программ на основе соотношений подобия
Ключевые слова:
верификация, управляющий граф, абстрактные размерности, определяющие отношения, подобиеАннотация
Описывается подход к статической верификации исполняемых программ на основе сопоставления семантических аспектов вычислений, позволяющий построить паспорт программы. Паспорт, как результат статической верификации, может быть использован для создания среды контролируемого выполнения программ (динамической верификации реально выполняемых программ, прошедших статическую верификацию).Литература
1. Седов Л.Н. Методы подобия и размерности в механике // М: Наука. 1981. 448с.
2. Ильин В. А., Позняк Э. Г. Линейная алгебра // М.: ФИЗМАТЛИТ. 2004. 280 с.
3. Компаниец Р.И., Ковалев В.В., Маньков Е.В. Экспертиза и защита кода программ на основе автоматов динамического контроля // Защита информации. INSIDE. 2007. №3. С. 48–55.
4. Инструментального комплекс для автоматизации проведения статического и динамического анализа потоков управления в исполняемых кодах программ «IRIDA» // ТУ 425790.007.72410666.04. ООО «Газинформсервис».
2. Ильин В. А., Позняк Э. Г. Линейная алгебра // М.: ФИЗМАТЛИТ. 2004. 280 с.
3. Компаниец Р.И., Ковалев В.В., Маньков Е.В. Экспертиза и защита кода программ на основе автоматов динамического контроля // Защита информации. INSIDE. 2007. №3. С. 48–55.
4. Инструментального комплекс для автоматизации проведения статического и динамического анализа потоков управления в исполняемых кодах программ «IRIDA» // ТУ 425790.007.72410666.04. ООО «Газинформсервис».
Verification of Programs Based on Similarity Relations
Abstract
The static verification method of programs based on comparison of the semantic aspects of computing, that allows to build a program passport is described. Passport as a result of the static verification may be used to create an environment of the controlled program run (dynamic verification of the really running programs, which have passed static verification).
Опубликован
2015-03-10
Как цитировать
Ковалев, В. В., Компаниец, Р. И., & Новиков, В. А. (2015). Верификация программ на основе соотношений подобия. Труды СПИИРАН, 1(38), 233-245. https://doi.org/10.15622/sp.38.13
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
