Верификация программ на основе соотношений подобия
Ключевые слова:
верификация, управляющий граф, абстрактные размерности, определяющие отношения, подобиеАннотация
Описывается подход к статической верификации исполняемых программ на основе сопоставления семантических аспектов вычислений, позволяющий построить паспорт программы. Паспорт, как результат статической верификации, может быть использован для создания среды контролируемого выполнения программ (динамической верификации реально выполняемых программ, прошедших статическую верификацию).Литература
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. ООО «Газинформсервис».
Опубликован
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).
