Verifying Security Properties of the Source Code of Access Control Tools Using Frama-C

Скачать файл .PDF

Авторы: Каннер А. М.; Каннер(Борисова) Т. М.

Дата публикации: 25.12.2022

Библиографическая ссылка: Kanner A. M., Kanner T. M. Verifying Security Properties of the Source Code of Access Control Tools Using Frama-C // 2022 Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT 2022). — 2022. — Pp. 255–258.

---