Том 11


Труды Института системного программирования РАН. Том 11, 2006, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией академика РАН В.П. Иванникова

Содержание

В.П. Иванников. Предисловие. Стр. 5-8.

С.И. Алейников, А.О. Богатов. Защита программ от дизассемблирования. Стр. 9-16.

Николай Вяххи, Анатолий Коваль. Архитектурный подход к защите программ. Стр. 17-26.

Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Чернов, А.В. Шокуров. Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем. Стр. 27-60.

В.А. Захаров, К.С. Иванов. О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью. Стр. 61-82.

Andrey Belevantsev, Oleg Malikov. Using data flow analysis for detecting security vulnerabilities. Стр. 83-98.

Yury Lifshits. Guaranteed Slowdown, Generalized Encryption Scheme, and Function Sharing. Стр. 99-108.

Rimma Podlovchenko, Dmitry Rusakov, Vladimir Zakharov. The equivalence problem for programs with mode switching is PSPACE-complete. Стр. 109-128.

Вернуться к списку всех томов