Применение технологий символьно-конкретного тестирования и машинного обучения для автоматизации обнаружения уязвимостей программного обеспечения; Перспективы развития фундаментальных наук; Т. 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
|
| נושאים: | |
| גישה מקוונת: | http://earchive.tpu.ru/handle/11683/45335 |
| פורמט: | אלקטרוני Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=625686 |
MARC
| LEADER | 00000naa2a2200000 4500 | ||
|---|---|---|---|
| 001 | 625686 | ||
| 005 | 20260831153136.0 | ||
| 035 | |a (RuTPU)RU\TPU\conf\24946 | ||
| 035 | |a RU\TPU\conf\24945 | ||
| 090 | |a 625686 | ||
| 100 | |a 20171218d2017 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Применение технологий символьно-конкретного тестирования и машинного обучения для автоматизации обнаружения уязвимостей программного обеспечения |d Automation vulnerability disclosure using concolic testing and machine learning |f А. А. Мещеряков |g науч. рук. В. С. Горбатов | |
| 203 | |a Текст |c электронный | ||
| 300 | |a Заглавие с экрана | ||
| 320 | |a [Библиогр.: с. 80 (7 назв.)] | ||
| 330 | |a 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. | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\conf\21388 |t Перспективы развития фундаментальных наук |l Prospects of Fundamental Sciences Development |o сборник научных трудов XIV Международной конференции студентов, аспирантов и молодых ученых, г. Томск, 25-28 апреля 2017 г. |o в 7 т. |f Национальный исследовательский Томский политехнический университет (ТПУ) ; под ред. И. А. Курзиной, Г. А. Вороновой |d 2017 | |
| 463 | 1 | |0 (RuTPU)RU\TPU\conf\21398 |t Т. 7 : IT-технологии и электроника |v [С. 78-80] |d 2017 | |
| 510 | 1 | |a Automation vulnerability disclosure using concolic testing and machine learning |z eng | |
| 610 | 1 | |a электронные ресурсы | |
| 610 | 1 | |a программное обеспечение | |
| 610 | 1 | |a финансовые системы | |
| 610 | 1 | |a банковское обслуживание | |
| 610 | 1 | |a безопасность | |
| 610 | 1 | |a системы автоматизации | |
| 700 | 1 | |a Мещеряков |b А. А. | |
| 702 | 1 | |a Горбатов |b В. С. |4 727 | |
| 801 | 2 | |a RU |b 63413507 |c 20171220 |g RCR | |
| 856 | 4 | |u http://earchive.tpu.ru/handle/11683/45335 | |
| 942 | |c CF | ||