Token scanning as a new scientific approach in the creation of protected systems: A new generation OS MICROTEK
Andrey Molyakov · Automatic Control and Computer Sciences · 2016
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.