Применение технологий символьно-конкретного тестирования и машинного обучения для автоматизации обнаружения уязвимостей программного обеспечения; Перспективы развития фундаментальных наук; Т. 7 : IT-технологии и электроника
| Parent link: | Перспективы развития фундаментальных наук=Prospects of Fundamental Sciences Development: сборник научных трудов XIV Международной конференции студентов, аспирантов и молодых ученых, г. Томск, 25-28 апреля 2017 г./ Национальный исследовательский Томский политехнический университет (ТПУ) ; под ред. И. А. Курзиной, Г. А. Вороновой.— , 2017 Т. 7 : IT-технологии и электроника.— 2017.— [С. 78-80] |
|---|---|
| Main Author: | |
| Other Authors: | |
| Summary: | Заглавие с экрана 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. |
| Language: | Russian |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://earchive.tpu.ru/handle/11683/45335 |
| Format: | Electronic Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=625686 |
MARC
| LEADER | 00000naa2a2200000 4500 | ||
|---|---|---|---|
| 001 | 625686 | ||
| 005 | 20231101133356.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 |d eng | |
| 102 | |a RU | ||
| 105 | |a y z 100zy | ||
| 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 электронный | ||
| 230 | |a 1 компьютерный файл (pdf; 310 Kb) | ||
| 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 BK | ||