POISCS
Problems of information security. Computer systems Peter the Great St. Petersburg Polytechnic University
Since 1999
ISSN 2071-8217
en Английский
Version for the visually impaired
Submit Your Paper
Publication schedule
  • №1 March 2026

Articles by keywords "verification"

Verification of access control in big data systems using temporal logics

Poltavtseva M. A. Podorov A. A.
  • Year: 2024
  • Issue: Спецвыпуск
  • 1
  • 492
  • 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
  • 1
  • 504
  • Pages: 178-193