Доклады, выступления, видео и электронные публикации
Библиотека
Scientia potestas est
По вашим условиям найдены 3 публикации
| Год | Автор(ы) | Название | Тип |
|---|---|---|---|
| 2022 | Каннер А. М., Каннер(Борисова) Т. М. |
Verifying Security Properties of the Source Code of Access Control Tools Using Frama-C Библиографическая ссылка: 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. 
cкачать .pdf
|
Статья |
| 2021 | Каннер А. М., Каннер(Борисова) Т. М. |
Special Features of TLA+ Temporal Logic of Actions for Verifying Access Control Policies Библиографическая ссылка: Kanner A. M., Kanner Т. M. Special Features of TLA + Temporal Logic of Actions for Verifying Access Control Policies // 2021 Ural Symposium on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT 2021). — 2021. — Pp. 411–414.
cкачать .pdf
|
Статья |
| 2020 | Каннер А. М., Каннер(Борисова) Т. М. |
Verification of a Model of the Isolated Program Environment of Subjects Using the Lamport’s Temporal Logic of Actions Библиографическая ссылка: Kanner A. M., Kanner Т. M. Verification of a Model of the Isolated Program Environment of Subjects Using the Lamport’s Temporal Logic of Actions // 2020 International Conference on Engineering and Telecommunication (En&T 2020). — 2020. — Pp. 1–5
cкачать .pdf
|
Статья |
