Work

Verification of Access Control in Big Data Systems Using Temporal Logics

Year: 2024

Type: article

Source: Automatic Control and Computer Sciences

DOI: 10.3103/s0146411624700974

Authors: M. A. Poltavtseva, A. A. Podorov, E. B. Aleksandrova

Institution: Peter the Great St. Petersburg Polytechnic University

Language: English

Topic: Access Control and Trust

Subfield: Sociology and Political Science

Field: Social Sciences

Domain: Social Sciences

Open Access status: closed

OpenAlex ID: W4408439778

FWCI: 0.744

Cites: 25

Cited by: 1

Related to: 10