POISCS
    Problems of information security. Computer systemsPeter the Great St. Petersburg Polytechnic University
    Since 1999
    ISSN 2071-8217
    enАнглийский
    Version for the visually impaired
    Submit Your Paper

    Articles by keywords "verification"

    Verification of access control in big data systems using temporal logics

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

    Authorship identification and verification using machine and deep learning methods

    Machine learning and knowledge control systems
    Tolgorenko E. M.Zubkov E. A.Ovasapyan T. D.
    • Year: 2024
    • Issue: 2
    • 3
    • 1297
    • Pages: 178-193