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

Авторы и правообладатели:

• Деркач Е. А. , Томский государственный университет систем управления и радиоэлектроники (Томск, Россия)
• Шелупанов А. А. , Томский государственный университет систем управления и радиоэлектроники (Томск, Россия)

• 1. Барабанов А.В. Семь безопасных информационных технологий / А.В. Барабанов, А.В. Дорофеев, А.С. Марков, В.Л. Цирлов. – М.: ДМК Пресс, 2017. – 224 с.
• 2. Daud M.I. Secure Software Development Model: A Guide for Secure Software Life Cycle // Proceedings of the International MultiConference of Engineers and Computer Scientists. – 2010. – Vol. 1. – P. 1–5.
• 3. Trautsch F. Are unit and integration test definitions still valid for modern Java projects? An empirical study on open-source projects / F. Trautsch, S. Herbold, J. Grabowski // The Journal of Systems and Software. – 2020. – Vol. 159. – P. 1–15.
• 4. Kshirasagar N. Software testing and quality assurance. Theory and practice / N. Kshirasagar, T. Priyadarshi. – A John Wiley & Sons, Inc., Publication, 2008. – P. 616.
• 5. Herbold S. Smoke testing for machine learning: simple tests to discover severe bugs / S. Herbold, T. Haar // Empirical Software Engineering. – 2022. – Vol. 27. – P. 1–30.
• 6. Марков А.С. Тестирование и испытания программного обеспечения по требованиям безопасности информации / А.С. Марков, В.Л. Цирлов, И.А. Олексенко, В.Г. Маслов // Известия Института инженерной физики. – 2009. – № 2. – С. 2–6.
• 7. Мукминов В.А. О новых методах и алгоритмах тестирования программного обеспечения / В.А. Мукминов, Ю.В. Войнов, А.В. Баландин // Двойные технологии. – 2011. – № 2. – С. 22–25.
• 8. Ляпустин А.Е. Способы испытания средств защиты информации / А.Е. Ляпустин, М.Е. Ляпустин // Евразийский научный журнал. – 2015. – № 6. – С. 193–196.
• 9. Борисова Т.М. Тестирование средств защиты информации / Т.М. Борисова, А.В. Кузнецов, А.И. Обломова // Информационное противодействие угрозам терроризма. – 2013. – № 21. – С. 59–67.
• 10. Бугаева А.А. Процесс тестирования, методы и типы тестирования программного обеспечения / А.А. Бугаева, В.В. Денисенко // Синергия наук. – 2022. – № 72. – С. 92–102.
• 11. Бедердинова О.И. Совершенствование метода тестирования программного обеспечения «Белый ящик» / О.И. Бедердинова, Л.А. Иванова // Вестник Северного (Арктического) фед. ун-та. – 2014. – № 2. – С. 113–123.
• 12. Zielinski M. Using Advanced Code Analysis for Boosting Unit Test Creation / M. Zielinski, R. Groenboom // IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). – 2021. – Vol. 1. – P. 1–5.
• 13. Mishra D.B. Test Case Generation and Optimization for Critical Path Testing Using Genetic Algorithm / D.B. Mishra, R. Mishra, K.N. Das, A.A. Acharya // Soft Computing for Problem Solving. – 2022. – Vol. 1. – P. 67–80.
• 14. Casola V. Secure software development and testing: A model-based methodology / V. Casola, A. Benedictis, C. Mazzocca, V. Orbinato // Computers & Security. – 2024. – Vol. 137. – P. 1–16.
• 15. Luo D. Grammar-based fuzz testing for microprocessor RTL design / D. Luo, T. Li, L. Chen, H. Zou, M. Shi // Integration. – 2022. – P. 64–73.
• 16. Park L.H. Mixed and constrained input mutation for effective fuzzing of deep learning systems / L.H. Park, J. Kim, J. Park, T. Kwon // Information Sciences. – 2022. – Vol. 614. – P. 497–517.
• 17. Zhao X. AMSFuzz: An adaptive mutation schedule for fuzzing / X. Zhao, H. Qu, J. Xu, Sh. Li, G.-G. Wang // Expert Systems with Applications. – 2022. – Vol. 208. – P. 118162.
• 18. Tao Ch. DLRegion: Coverage-guided fuzz testing of deep neural networks with region-based neuron selection strategies / Ch. Tao, Y. Tao, H. Guo, Zh. Huang, X. Sun // Information and Software Technology. – 2023. – Vol. 162. – P. 107266.
• 19. Chen Ch. A systematic review of fuzzing techniques / Ch. Chen, B. Cui, J. Ma, R. Wu, J. Guo // Computers & Security. – 2018. – Vol. 75. – P. 118–137.
• 20. Godefroid P. Fuzzing: Hack, Art and Science // Communications of the ACM. – 2020. – Vol. 63. – P. 70–76.