зі цих засобів і виробився набір методів, якими здійснюється аналіз безпеки ПЗ.
Контрольно-випробувальні методи аналізу розглядають РПС через призму фіксації факту порушення безпечного стану системи, а логіко-аналітичні - через призму докази наявності відносини еквівалентності між моделлю досліджуваної програми і моделлю РПС.
Комплексна система дослідження безпеки ПЗ повинна включати як контрольно-випробувальні, так і логіко-аналітичні методи аналізу, використовуючи переваги кожного з них.
При дослідженні методів і засобів оцінки рівня технологічної безпеки програмних комплексів враховуються фактори, що мають, як правило, чисто випадковий характер. Отже, показники, пов'язані з оцінюванням безпеки ПЗ найкраще виражати ймовірнісної мірою, а для їх обчислення можна використовувати імовірнісні моделі надійності ПЗ, які при здійсненні заміни умови правильності функціонування програм на умова їх безпеки можна використовувати для цих цілей. br/>
Список використаної літератури
Жюрнал "Хакер" стаття "Критерії безпеки" 08.12.2008 URL: <
Безпека програмного забезпечення комп'ютерних систем. Казарін О.В.
URL: <
Інформаційна безпека та захист інформації. Мельников В.П., Клейменов С.А., Петраков А.М.
