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
Author Andrey A. Podorov
Submit Your Paper
Latest issues
Andrey A. Podorov
Andrey A. Podorov
Affiliation
Peter the Great St. Petersburg Polytechnic University
Publications
Orcid ID
0009-0004-8915-7545

Verification of access control in big data systems using temporal logics

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