Token scanning as a new scientific approach in the creation of protected systems: A new generation OS MICROTEK
- Autores: Molyakov A.1
-
Afiliações:
- Peter the Great St. Petersburg Polytechnic University
- Edição: Volume 50, Nº 8 (2016)
- Páginas: 687-692
- Seção: Article
- URL: https://journals.rcsi.science/0146-4116/article/view/174653
- DOI: https://doi.org/10.3103/S0146411616080149
- ID: 174653
Citar
Resumo
Token scanning, a new approach to the creation of protected information systems describing the state of the system with semantic content, namely, identification of uncontrollable context transitions, defined and possible on the whole set of variables using functional and nonprocedural programming languages, is described.
Sobre autores
A. Molyakov
Peter the Great St. Petersburg Polytechnic University
Autor responsável pela correspondência
Email: andrei_molyakov@mail.ru
Rússia, St. Petersburg, 195251