Token scanning as a new scientific approach in the creation of protected systems: A new generation OS MICROTEK

Аннотация

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.