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

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
  • 666
  • 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
  • 2
  • 695
  • Pages: 178-193