Special Features of TLA+ Temporal Logic of Actions for Verifying Access Control Policies

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

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

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

Библиографическая ссылка: 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.

---