Применение технологий символьно-конкретного тестирования и машинного обучения для автоматизации обнаружения уязвимостей программного обеспечения; Перспективы развития фундаментальных наук; Т. 7 : IT-технологии и электроника
| Parent link: | Перспективы развития фундаментальных наук=Prospects of Fundamental Sciences Development: сборник научных трудов XIV Международной конференции студентов, аспирантов и молодых ученых, г. Томск, 25-28 апреля 2017 г./ Национальный исследовательский Томский политехнический университет (ТПУ) ; под ред. И. А. Курзиной, Г. А. Вороновой.— , 2017 Т. 7 : IT-технологии и электроника.— 2017.— [С. 78-80] |
|---|---|
| Κύριος συγγραφέας: | Мещеряков А. А. |
| Άλλοι συγγραφείς: | Горбатов В. С. (научный руководитель) |
| Περίληψη: | Заглавие с экрана Security testing is important stage of software development life cycle. However, security testing requires considerable time from highly skilled security experts. The aim of the article is to describe techniques for reducing the number of false positives and false negatives in the automation vulnerability disclosure process. This paper is about an approach for software vulnerabilities discovery using concolic testing and machine learning techniques. Machine learning techniques are used to reduce the number of execution paths during concolic testing. This approach can be used to automate security testing. In this paper, security test cases and traces of previous version of software and similar software are used for training dataset for our models. This scheme of automation vulnerability disclosure will be used to build automation security testing system of software. |
| Γλώσσα: | Ρωσικά |
| Έκδοση: |
2017
|
| Θέματα: | |
| Διαθέσιμο Online: | http://earchive.tpu.ru/handle/11683/45335 |
| Μορφή: | Ηλεκτρονική πηγή Κεφάλαιο βιβλίου |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=625686 |
Παρόμοια τεκμήρια
Практическое применение программного обеспечения SIMATIC S7 для решения задач автоматизации процессов производства; Современные техника и технологии; Т. 2
από: Быкова О. В.
Έκδοση: (2009)
από: Быкова О. В.
Έκδοση: (2009)
Уровень современной автоматизации на металлургических предприятиях; Промышленные АСУ и контроллеры; № 10
από: Симкин А. И.
Έκδοση: (2004)
από: Симкин А. И.
Έκδοση: (2004)
Система автоматизации отпуска сжиженного газа на АГЗС; Современные технологии автоматизации; № 2
από: Летуновский А. Александр
Έκδοση: (2002)
από: Летуновский А. Александр
Έκδοση: (2002)
Выставка ПТА - свидетельство возрождения российской промышленности; Современные технологии автоматизации; № 3
Έκδοση: (2004)
Έκδοση: (2004)
Структура программного комплекса системы автоматизации экспериментов ТОКАМАКа КТМ; Физико-технические проблемы атомной энергетики и промышленности (производство, наука, образование)
Έκδοση: (2004)
Έκδοση: (2004)
ПТА-2003: итоги и перспективы; Современные технологии автоматизации; № 1
από: Аристова Н.
Έκδοση: (2004)
από: Аристова Н.
Έκδοση: (2004)
Современные технологии автоматизации: производственно-практический журнал
Έκδοση: (Москва, СТА-Пресс, 2000-)
Έκδοση: (Москва, СТА-Пресс, 2000-)
Системы автоматизации бюджетирования предприятий; Прогрессивные технологии и экономика в машиностроении
από: Фролова Н. А.
Έκδοση: (2013)
από: Фролова Н. А.
Έκδοση: (2013)
Технология создания алгоритмического обеспечения систем автоматизации проверки измерительных приборов; Приборы и системы. Управление, контроль, диагностика; № 11
από: Киселёв С. К.
Έκδοση: (2003)
από: Киселёв С. К.
Έκδοση: (2003)
ПТА-2004 - ПТА-2005: курс на Экспоцентр; Современные технологии автоматизации; № 4
από: Букштейн Л.
Έκδοση: (2004)
από: Букштейн Л.
Έκδοση: (2004)
Моделирование цифровых систем автоматизации технологических процессов управления в электроэнергетике; Современные техника и технологии; Т. 1
από: Андреев А. Н.
Έκδοση: (2009)
από: Андреев А. Н.
Έκδοση: (2009)
Проблемы систем автоматизации в сельском хозяйстве; Молодежь и современные информационные технологии
από: Беляев А. С.
Έκδοση: (2012)
από: Беляев А. С.
Έκδοση: (2012)
Разработка системы автоматизации процессов; Молодежь и современные информационные технологии; Т. 1
από: Андреев Д. И.
Έκδοση: (2016)
από: Андреев Д. И.
Έκδοση: (2016)
Система автоматизации прямолинейного движения комбайна; Молодежь и современные информационные технологии
από: Беляев А. С. Александр Сергеевич
Έκδοση: (2013)
από: Беляев А. С. Александр Сергеевич
Έκδοση: (2013)
Адаптация SCADA-системы в структуре программного обеспечения системы автоматизации экспериментов на термоядерной установке КТМ; Известия Томского политехнического университета [Известия ТПУ]; Т. 305, вып. 3 : Проблемы и перспективы технологий атомной промышленности
Έκδοση: (2002)
Έκδοση: (2002)
Мобильная модульная система автоматизации электрофизиологических исследований; Приборы и техника эксперимента; № 1
Έκδοση: (2003)
Έκδοση: (2003)
Создание приложения - клиента системы автоматизации франчайзинговых сетей; Молодежь и современные информационные технологии
από: Ларионов С. С.
Έκδοση: (2018)
από: Ларионов С. С.
Έκδοση: (2018)
Создание модели автоматизации для сельского хозяйства; Технологии Microsoft в теории и практике программирования
από: Беляев А. С. Александр Сергеевич
Έκδοση: (2013)
από: Беляев А. С. Александр Сергеевич
Έκδοση: (2013)
Обзор информационных систем автоматизации ресторанной деятельности; Современные технологии поддержки принятия решений в экономике
από: Юрченко В. Ю.
Έκδοση: (2015)
από: Юрченко В. Ю.
Έκδοση: (2015)
Системы автоматизации труда программиста
από: Бетелин В. Б. Владимир Борисович
Έκδοση: (Москва, Наука, 1990)
από: Бетелин В. Б. Владимир Борисович
Έκδοση: (Москва, Наука, 1990)
Приборы, средства автоматизации и вычислительной техники. Сб. 11. СНиП IV-6-82
Έκδοση: (Москва, Стройиздат, 1983)
Έκδοση: (Москва, Стройиздат, 1983)
Проблемы интеграции систем автоматизации на предприятиях; Промышленные АСУ и контроллеры; № 5
από: Ицкович Э. Л.
Έκδοση: (2004)
από: Ицкович Э. Л.
Έκδοση: (2004)
Основы тестирования программного обеспечения: учебное пособие
από: Котляров В. П. Всеволод Павлович
Έκδοση: (Москва, БИНОМ. Лаборатория знаний, 2016)
από: Котляров В. П. Всеволод Павлович
Έκδοση: (Москва, БИНОМ. Лаборатория знаний, 2016)
Автоматизация тестирования программного обеспечения; Молодежь и современные информационные технологии
από: Цапко И. В. Ирина Валериевна
Έκδοση: (2022)
από: Цапко И. В. Ирина Валериевна
Έκδοση: (2022)
Синхронизация времени в системах автоматики и телемеханики. Какие точности доступны и какие востребованы?; Средства и системы автоматизации: проблемы и решения
από: Шайкин Д. В.
Έκδοση: (2009)
από: Шайкин Д. В.
Έκδοση: (2009)
Аналитический обзор систем автоматизации предприятий нефтехимической отрасли; Технологии Microsoft в теории и практике программирования
από: Луговская О. А.
Έκδοση: (2012)
από: Луговская О. А.
Έκδοση: (2012)
Методы анализа документов как составляющая системы автоматизации делопроизводства на предприятии; Современные техника и технологии; Т. 2
από: Марчуков А. В.
Έκδοση: (2006)
από: Марчуков А. В.
Έκδοση: (2006)
Средства и системы автоматизации для черной металлургии: тематический отраслевой сборник
Έκδοση: (Москва, Металлургия, 1984)
Έκδοση: (Москва, Металлургия, 1984)
Монтаж трубных проводок систем автоматизации
από: Каминский М. Л. Михаил Львович
Έκδοση: (Москва, Энергия, 1978)
από: Каминский М. Л. Михаил Львович
Έκδοση: (Москва, Энергия, 1978)
Радиосистемы автоматизации инженерных систем зданий; Современные техника и технологии; Т. 1
από: Полиновский С. И.
Έκδοση: (2008)
από: Полиновский С. И.
Έκδοση: (2008)
Проектирование, монтаж и эксплуатация систем автоматизации на предприятиях стройиндустрии: учебное пособие для вузов
από: Барский Р. Г. Родион Георгиевич
Έκδοση: (Ленинград, Стройиздат, 1980)
από: Барский Р. Г. Родион Георгиевич
Έκδοση: (Ленинград, Стройиздат, 1980)
Объективные закономерности сложной автоматизации в промышленности; Промышленные АСУ и контроллеры; № 2
από: Потапова Т. Б.
Έκδοση: (2004)
από: Потапова Т. Б.
Έκδοση: (2004)
Проектные характеристики системы автоматизации экспериментов ТОКАМАКА КТМ; Физико-технические проблемы атомной энергетики и промышленности (производство, наука, образование)
Έκδοση: (2004)
Έκδοση: (2004)
НПО "Системотехника"; Промышленные АСУ и контроллеры; № 2
Έκδοση: (2003)
Έκδοση: (2003)
Обзор современных зарубежных средств автоматизации; Приборы и системы. Управление, контроль, диагностика; № 2
από: Слепов В. И.
Έκδοση: (2003)
από: Слепов В. И.
Έκδοση: (2003)
Стандарты ИСО для экспортёров и импортёров станков, инструментов и систем промышленной автоматизации; Стандарты и качество; № 3
από: Замятина О. Ольга
Έκδοση: (2003)
από: Замятина О. Ольга
Έκδοση: (2003)
Экспертиза заявок (предложений) при проведении конкурса на средства и системы автоматизации; Промышленные контроллеры АСУ; № 1
από: Ицкович Э. Л.
Έκδοση: (2003)
από: Ицкович Э. Л.
Έκδοση: (2003)
TRACE MODE В проектах "Научно-технического центра комплексной автоматизации"; Приборы и системы. Управление, контроль, диагностика; № 1
από: Полосухин В. Н.
Έκδοση: (2002)
από: Полосухин В. Н.
Έκδοση: (2002)
Программа испытания системы автоматизации отопления; Интеллектуальные энергосистемы; Т. 1
από: Степченков В. А.
Έκδοση: (2015)
από: Степченков В. А.
Έκδοση: (2015)
Система автоматизации учёта держателей банковских дебетовых карт; Инновационные технологии и экономика в машиностроении
από: Исаков М. Н.
Έκδοση: (2007)
από: Исаков М. Н.
Έκδοση: (2007)
Παρόμοια τεκμήρια
-
Практическое применение программного обеспечения SIMATIC S7 для решения задач автоматизации процессов производства; Современные техника и технологии; Т. 2
από: Быкова О. В.
Έκδοση: (2009) -
Уровень современной автоматизации на металлургических предприятиях; Промышленные АСУ и контроллеры; № 10
από: Симкин А. И.
Έκδοση: (2004) -
Система автоматизации отпуска сжиженного газа на АГЗС; Современные технологии автоматизации; № 2
από: Летуновский А. Александр
Έκδοση: (2002) -
Выставка ПТА - свидетельство возрождения российской промышленности; Современные технологии автоматизации; № 3
Έκδοση: (2004) -
Структура программного комплекса системы автоматизации экспериментов ТОКАМАКа КТМ; Физико-технические проблемы атомной энергетики и промышленности (производство, наука, образование)
Έκδοση: (2004)