В раздел «Публикации» добавлены 12 ранее неопубликованных в нашей Библиотеке статей Татьяны Михайловны Каннер – руководителя учебного центра ОКБ САПР

Все 12 статей разных лет выпуска можно найти по этой ссылке:

1)  2015 год. Особенности применения средств виртуализации при тестировании.

2)  2016 год. Applicability of Software Testing Methods to Software and Hardware Data Security Tools.

3)  2017 год. Разработка и оценка эффективности применения средств тестирования функций безопасности программно-аппаратных.

4)  2017 год. Эффективность применения средств тестирования программно-аппаратных средств защиты информации.

5)  2018 год. Адаптация существующих способов верификации для программно-аппаратных СЗИ.

6)  2019 год. Applying a Mathematical Approach to Interpreting the Results of Testing Software and Hardware Data Security Tools during the Verification Process.

7)  2020 год. Comprehensive Testing of Software and Hardware Data Security Tools Using Virtualization.

8)  2020 год. Verification of a Model of the Isolated Program Environment of Subjects Using the Lamport’s Temporal Logic of Actions.

9)  2020 год. Testing Software and Hardware Data Security Tools Using the Automata Theory and the Graph Theory.

10)  2021 год. Algorithm for Optimal and Complete Testing of Software and Hardware Data Security Tools.

11)  2021 год. Special Features of TLA + Temporal Logic of Actions for Verifying Access Control Policies.

12)  2022 год. Verifying Security Properties of the Source Code of Access Control Tools Using Frama-C.