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
    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: Спецвыпуск
    • 4
    • 1284
    • Pages: 146-156