POISCS
    Problems of information security. Computer systemsPeter the Great St. Petersburg Polytechnic University
    Since 1999
    ISSN 2071-8217
    enАнглийский
    Version for the visually impaired
    AuthorAndrey A. Podorov
    Submit Your Paper
    Publication schedule
    • №Спецвыпуск August 2026
    Latest issues
    Andrey A. Podorov
    Andrey A. Podorov
    Affiliation
    Peter the Great St. Petersburg Polytechnic University
    Publications
    Orcid ID
    0009-0004-8915-7545

    Verification of access control in big data systems using temporal logics

    Poltavtseva M. A.Podorov A. A.
    • Year: 2024
    • Issue: Спецвыпуск
    • 2
    • 1070
    • Pages: 146-156