Статический анализ кода мобильных приложений как средство выявления его уязвимостей

Θεματικοί όροι: мобильные приложения, информационная безопасность, безопасность мобильных систем, код мобильных приложений, статический анализ кода, статическое тестирование безопасности приложений

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://elib.belstu.by/handle/123456789/59575

СОВРЕМЕННЫЕ ТЕНДЕНЦИИ В ОБЛАСТИ ТЕСТИРОВАНИЯ БЕЗОПАСНОСТИ

Θεματικοί όροι: искусственный интеллект, vulnerabilities, security testing, cybersecurity, software, information security, фаззинг, информационная безопасность, fuing, уязвимости, artificial intelligence, программное обеспечение, кибербезопасность, тестирование безопасности, автоматизация, automation

MODEL OF DATA PREPARATION FOR ALLOCATION OF ALGORITHM FROM BINARY CODE FOR THE SAFETY ANALYSIS OF THE SOFTWARE

Συγγραφείς: Mamuziĉ, Ilya, Lysytsia, Dmytro, Lysytsia, Alina

Πηγή: Сучасні інформаційні системи; Том 2 № 2 (2018): Сучасні інформаційні системи; 94-100
Advanced Information Systems; Vol. 2 No. 2 (2018): Advanced Information Systems; 94-100
Современные информационные системы-Sučasnì ìnformacìjnì sistemi; Том 2 № 2 (2018): Современные информационные системы; 94-100

Θεματικοί όροι: програмнє забезпечення, етичний хакінг, ethical hacking, двійковий атрактор, тестування безпеки програмного забезпечення, software security testing, 651.34, algorithm allocation, binary attractor, тестування безпеки, тестирование безопасности программного обеспечения, этический хакинг, двоичный аттрактор

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://ais.khpi.edu.ua/article/download/2522-9052.2018.2.16/137523
http://ais.khpi.edu.ua/article/download/2522-9052.2018.2.16/137523
http://ais.khpi.edu.ua/article/view/2522-9052.2018.2.16
http://repository.kpi.kharkov.ua/handle/KhPI-Press/39618
http://ais.khpi.edu.ua/article/view/2522-9052.2018.2.16

Development of graphic­analytical models for the software security testing algorithm

Συγγραφείς: Semenov, Serhii, Sira, Oksana, Kuchuk, Nina

Πηγή: Eastern-European Journal of Enterprise Technologies; Том 2, № 4 (92) (2018): Mathematics and Cybernetics-applied aspects; 39-46
Восточно-Европейский журнал передовых технологий; Том 2, № 4 (92) (2018): Математика и кибернетика-прикладные аспекты; 39-46
Східно-Європейський журнал передових технологій; Том 2, № 4 (92) (2018): Математика та кібернетика-прикладні аспекти; 39-46

Θεματικοί όροι: тестування безпеки, графоаналітична модель, напівмарківський процес, перетворення Лапласа, виробляюча функція, security testing, graphic-analytical model, semi-Markov process, Laplace transform, generating function, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, UDC 004.415.53 : 519.711, тестирование безопасности, графоаналитическая модель, полумарковский процесс, преобразование Лапласа, производящая функция

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/eejet/article/download/127210/125241
http://journals.uran.ua/eejet/article/download/127210/125241
http://journals.uran.ua/eejet/article/view/127210
http://journals.uran.ua/eejet/article/view/127210

Development A Mathematical Model for the Software Security Testing First Stage

Συγγραφείς: Semenov, S. (Serhii), Liqiang, Z. (Zhang), Weiling, C. (Cao), Davydov, V. (Viacheslav)

Πηγή: Eastern-European Journal of Enterprise Technologies

Θεματικοί όροι: тестирование безопасности, защита данных, software, security testing, Indonesia, графоаналитическая модель, безопасность программного обеспечения, cyber threats, программное обеспечение, graphic-analytical model, програмне забезпечення, тестування безпеки, кіберзагрози, безпека програмного забезпечення, захист даних, киберугрозы, software safety, data protection, графоаналітична модель

Περιγραφή αρχείου: application/pdf

Relation: https://www.neliti.com/publications/400045/development-a-mathematical-model-for-the-software-security-testing-first-stage

Διαθεσιμότητα: https://www.neliti.com/publications/400045/development-a-mathematical-model-for-the-software-security-testing-first-stage

Development of A Fuzzy GERT-model for Investigating Common Software Vulnerabilities

Συγγραφείς: Semenov, S. (Serhii), Zhang, L. (Liqiang), Cao, W. (Weiling), Bulba, S. (Serhii), Babenko, V. (Vira), Davydov, V. (Viacheslav)

Πηγή: Eastern-European Journal of Enterprise Technologies

Θεματικοί όροι: Indonesia, програмне забезпечення, программное обеспечение, software, security testing, тестування безпеки, тестирование безопасности, нечітка GERT-модель, кіберзагроза, вразливість програмного забезпечення, fuzzy GERT-model, cyber threat, software vulnerability, нечеткая GERT-модель, киберугроза, уязвимость программного обеспечения

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: https://www.neliti.com/publications/402935/development-of-a-fuzzy-gert-model-for-investigating-common-software-vulnerabilit

Development of a fuzzy GERT-model for investigating common software vulnerabilities

Συγγραφείς: Zhang, Liqiang, Cao, Weiling

Πηγή: Eastern-European Journal of Enterprise Technologies; Vol. 6 No. 2 (114) (2021): Information technology. Industry control systems; 6-18
Eastern-European Journal of Enterprise Technologies; Том 6 № 2 (114) (2021): Информационные технологии. Системы управления в промышленности; 6-18
Eastern-European Journal of Enterprise Technologies; Том 6 № 2 (114) (2021): Інформаційні технології. Системи управління в промисловості; 6-18

Θεματικοί όροι: software vulnerability, нечеткая GERT-модель, security testing, cyber threat, кіберзагроза, software, нечітка GERT-модель, 0211 other engineering and technologies, 02 engineering and technology, програмне забезпечення, программное обеспечение, киберугроза, тестирование безопасности, 0202 electrical engineering, electronic engineering, information engineering, тестування безпеки, вразливість програмного забезпечення, fuzzy GERT-model, уязвимость программного обеспечения

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/eejet/article/view/243715

Development a mathematical model for the software security testing first stage

Συγγραφείς: Liqiang, Zhang, Weiling, Cao

Πηγή: Eastern-European Journal of Enterprise Technologies; Vol. 3 No. 2 (111) (2021): Information technology. Industry control systems; 24-34
Eastern-European Journal of Enterprise Technologies; Том 3 № 2 (111) (2021): Информационные технологии. Системы управления в промышленности; 24-34
Eastern-European Journal of Enterprise Technologies; Том 3 № 2 (111) (2021): Інформаційні технології. Системи управління в промисловості; 24-34

Θεματικοί όροι: data protection, security testing, software, 0211 other engineering and technologies, graphic-analytical model, 02 engineering and technology, программное обеспечение, cyber threats, програмне забезпечення, безопасность программного обеспечения, тестирование безопасности, безпека програмного забезпечення, 0202 electrical engineering, electronic engineering, information engineering, защита данных, тестування безпеки, киберугрозы, кіберзагрози, графоаналитическая модель, захист даних, software safety, графоаналітична модель

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/eejet/article/view/233417

ФАЗЗИНГ В КИБЕРБЕЗОПАСНОСТИ – ОБЗОР ; Fuzzing in cybersecurity - a survey

Συγγραφείς: Kostandyan, Vladimir, Pedrosa, Tiago, Rodrigues, Pedro João, Margarov, Gevorg

Θεματικοί όροι: фаззеры, тестирование безопасности программного обеспечения, информационная безопасность, кибербезопасность, Fuzzers, Software Security Testing, Information Security, Cybersecurity

Relation: http://hdl.handle.net/10198/25614

Διαθεσιμότητα: http://hdl.handle.net/10198/25614

ФАЗЗИНГ В КИБЕРБЕЗОПАСНОСТИ – ОБЗОР

Συγγραφείς: Kostandyan, Vladimir, Pedrosa, Tiago, Rodrigues, Pedro João, Margarov, Gevorg

Συνεισφορές: Biblioteca Digital do IPB

Θεματικοί όροι: кибербезопасность, Cybersecurity, Fuzzers, Information Security, информационная безопасность, фаззеры, Software Security Testing, тестирование безопасности программного обеспечения

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/10198/25614

Security testing technology based on the provisions of the simulation models scaling theory ; Технология тестирования безопасности на основе положений теории масштабирования имитационных моделей ; Імітаційна модель технології тестування безпеки на основі положень теорії масштабування

Συγγραφείς: Коваленко, Олександр Володимирович

Πηγή: Ukrainian Scientific Journal of Information Security; Vol. 24 No. 2 (2018); 110-117 ; Безопасность информации; Том 24 № 2 (2018); 110-117 ; Безпека інформації; Том 24 № 2 (2018); 110-117 ; 2411-071X ; 2225-5036

Θεματικοί όροι: security testing, scaling, simulation model, software development, security vulnerabilities, УДК 004.41, 004.056 (045), тестирование безопасности, масштабирование, имитационная модель, разработка программного обеспечения, уязвимости безопасности, тестування безпеки, масштабування, імітаційна модель, розробка програмного забезпечення, уразливості безпеки, 004.056 (043)

Περιγραφή αρχείου: application/pdf

Relation: https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/13045/18091; https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/13045/18099; https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/13045

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/13045
https://doi.org/10.18372/2225-5036.24.13045

Статический анализ кода мобильных приложений как средство выявления его уязвимостей

Συγγραφείς: Жиляк, Надежда Александровна

Θεματικοί όροι: мобильные приложения, код мобильных приложений, информационная безопасность, безопасность мобильных систем, статический анализ кода, статическое тестирование безопасности приложений

Περιγραφή αρχείου: application/pdf

Relation: https://elib.belstu.by/handle/123456789/59575; 004.41.42

Διαθεσιμότητα: https://elib.belstu.by/handle/123456789/59575

ОБЛАЧНОЕ ТЕСТИРОВАНИЕ В СРАВНЕНИИ С ТРАДИЦИОННЫМ ТЕСТИРОВАНИЕМ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Θεματικοί όροι: ОБЛАЧНОЕ ТЕСТИРОВАНИЕ, ТЕСТИРОВАНИЕ ПРОИЗВОДИТЕЛЬНОСТИ, ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ, ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ИНТЕГРАЦИОННОЕ ТЕСТИРОВАНИЕ, ТРАДИЦИОННОЕ ТЕСТИРОВАНИЕ, ТЕСТИРОВАНИЕ БЕЗОПАСНОСТИ, ТЕСТИРОВАНИЕ МАСШТАБИРУЕМОСТИ

ОСНОВНЫЕ ПРОБЛЕМЫ В ОБЛАЧНОМ ТЕСТИРОВАНИИ

Θεματικοί όροι: ОБЛАЧНОЕ ТЕСТИРОВАНИЕ, МАСШТАБИРУЕМОСТЬ, ТЕСТИРОВАНИЕ ПРОИЗВОДИТЕЛЬНОСТИ, ИНТЕГРАЦИОННОЕ ТЕСТИРОВАНИЕ, ТЕСТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, ОБЛАЧНАЯ СРЕДА, ТЕСТИРОВАНИЕ ПО ТРЕБОВАНИЮ, ПРОБЛЕМЫ ТЕСТИРОВАНИЯ, РЕГРЕССИОННОЕ ТЕСТИРОВАНИЕ, ТЕСТИРОВАНИЕ БЕЗОПАСНОСТИ

МОДЕЛИРОВАНИЕ СЕТЕВЫХ КОМПЬЮТЕРНЫХ СИСТЕМ С УЯЗВИМОСТЯМИ

Συγγραφείς: Колегов, Денис

Θεματικοί όροι: СЕТЕВЫЕ КОМПЬЮТЕРНЫЕ СИСТЕМЫ,ТЕСТИРОВАНИЕ БЕЗОПАСНОСТИ,ГРАФ АТАК,МАТЕМАТИЧЕСКИЕ МОДЕЛИ БЕЗОПАСНОСТИ,ДП-МОДЕЛИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/modelirovanie-setevyh-kompyuternyh-sistem-s-uyazvimostyami
http://cyberleninka.ru/article_covers/14037147.png

Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов

Συνεισφορές: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур, Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Πηγή: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 103-106

Θεματικοί όροι: тестирование безопасности, синтез тестов, телекоммуникационные протоколы

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524745

Моделирование сетевых компьютерных систем с уязвимостями

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

Πηγή: Прикладная дискретная математика. 2009. № 3. С. 91-99

Θεματικοί όροι: тестирование безопасности, модели безопасности, ДП-модели, математические модели компьютерной безопасности, графы атак, дискреционные модели, компьютерные системы сетевые

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000467443

Моделирование сетевых компьютерных систем с уязвимостями

Πηγή: Прикладная дискретная математика.

Θεματικοί όροι: СЕТЕВЫЕ КОМПЬЮТЕРНЫЕ СИСТЕМЫ,ТЕСТИРОВАНИЕ БЕЗОПАСНОСТИ,ГРАФ АТАК,МАТЕМАТИЧЕСКИЕ МОДЕЛИ БЕЗОПАСНОСТИ,ДП-МОДЕЛИ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14037147.png
http://cyberleninka.ru/article/n/modelirovanie-setevyh-kompyuternyh-sistem-s-uyazvimostyami

Об использовании формальных моделей для анализа уязвимостей

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

Πηγή: Прикладная дискретная математика. 2009. № 1(3). С. 113-116

Θεματικοί όροι: модели безопасности, тестирование безопасности, безопасность компьютерных систем, модель нарушителя, математические модели, функциональные требования, анализ уязвимостей

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000469679

Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов

Συγγραφείς: Сухоплюев, Максим Николаевич, Кушик, Наталья Геннадьевна

Συνεισφορές: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур, Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Πηγή: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 103-106

Θεματικοί όροι: телекоммуникационные протоколы, синтез тестов, тестирование безопасности

Περιγραφή αρχείου: application/pdf

Relation: vtls:000524745; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524745

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524745