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 "temporal logic"

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