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

  • A. S. Molyakov
  • Published 2016 in Automatic Control and Computer Sciences

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.

DOI: 10.3103/S0146411616080149

Cite this paper

@article{Molyakov2016TokenSA, title={Token scanning as a new scientific approach in the creation of protected systems: A new generation OS MICROTEK}, author={A. S. Molyakov}, journal={Automatic Control and Computer Sciences}, year={2016}, volume={50}, pages={687-692} }