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

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

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


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




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

Моделирование и анализ информационных систем, 2011, том 18, номер 4, страницы 131–143 (Mi mais204)  
Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN

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

a Томский государственный университет
b Институт телекоммуникаций и менеджмента Франции
c Компания Монтимаж
PDF полного текста (477 kB)
Список литературы:
PDF
HTML
Аннотация: Предлагается метод тестирования безопасности С программ с использованием широко известного верификатора SPIN. Обсуждаются классы уязвимостей в С программах, которые могут быть обнаружены с использованием предложенного подхода. Приводятся результаты компьютерных экспериментов по обнаружению уязвимостей в студенческих программных реализациях алгоритмов работы с массивами.
Ключевые слова: программа, уязвимость, язык С, верификация, SPIN.
Поступила в редакцию: 20.09.2011
Тип публикации: Статья
УДК: 004.492+519.7
Образец цитирования: Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока, “Тестирование безопасности программного обеспечения на языке С с использованием верификатора 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}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais204
  • https://www.mathnet.ru/rus/mais/v18/i4/p131
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:363
    PDF полного текста:185
    Список литературы:39
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024