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

Verification of access control in big data systems using temporal logics

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