RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2011, том 18, номер 4, страницы 131–143 (Mi mais204)  

Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN

Н. Г. Кушикa, А. Маммарb, А. Каваллиb, Н. В. Евтушенкоa, В. Джиминезb, Э. Монте де Окаc

a Томский государственный университет
b Институт телекоммуникаций и менеджмента Франции
c Компания Монтимаж

Аннотация: Предлагается метод тестирования безопасности С программ с использованием широко известного верификатора SPIN. Обсуждаются классы уязвимостей в С программах, которые могут быть обнаружены с использованием предложенного подхода. Приводятся результаты компьютерных экспериментов по обнаружению уязвимостей в студенческих программных реализациях алгоритмов работы с массивами.

Ключевые слова: программа, уязвимость, язык С, верификация, SPIN.

Полный текст: PDF файл (477 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 004.492+519.7
Поступила в редакцию: 20.09.2011

Образец цитирования: Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока, “Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN”, Модел. и анализ информ. систем, 18:4 (2011), 131–143

Цитирование в формате AMSBIB
\RBibitem{KusMamCav11}
\by Н.~Г.~Кушик, А.~Маммар, А.~Кавалли, Н.~В.~Евтушенко, В.~Джиминез, Э.~Монте де Ока
\paper Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN
\jour Модел. и анализ информ. систем
\yr 2011
\vol 18
\issue 4
\pages 131--143
\mathnet{http://mi.mathnet.ru/mais204}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais204
  • http://mi.mathnet.ru/rus/mais/v18/i4/p131

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:260
    Полный текст:80
    Литература:23
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020