Token scanning as a new scientific approach in the creation of protected systems: A new generation OS MICROTEK
- Authors: Molyakov A.S.1
-
Affiliations:
- Peter the Great St. Petersburg Polytechnic University
- Issue: Vol 50, No 8 (2016)
- Pages: 687-692
- Section: Article
- URL: https://journals.rcsi.science/0146-4116/article/view/174653
- DOI: https://doi.org/10.3103/S0146411616080149
- ID: 174653
Cite item
Abstract
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.
About the authors
A. S. Molyakov
Peter the Great St. Petersburg Polytechnic University
Author for correspondence.
Email: andrei_molyakov@mail.ru
Russian Federation, St. Petersburg, 195251