Verification of Access Control in Big Data Systems Using Temporal Logics. - Maria A. Poltavtseva; A. A. Podorov; Elena B. Aleksandrova (Autom. Control. Comput. Sci., 2024)