Crossmark

Verification of Access Control in Big Data Systems Using Temporal Logics

Published Online: 2025-03-14

Published Print: 2024-12

Authors

Poltavtseva, M. A.

Podorov, A. A.

Aleksandrova, E. B.
License Information

Text and Data Mining valid from 2024-12-01

Version of Record valid from 2024-12-01
More Information

Article History

Received: 17 April 2024

Revised: 9 July 2024

Accepted: 11 July 2024

First Online: 14 March 2025

CONFLICT OF INTEREST

: The authors of this work declare that they have no conflicts of interest.

Document is current