HARNESSING OF SELF-ADJUSTED ENVIRONMENTS FOR PROACTIVE SECURITY OF COMPUTER SYSTEMS
M. V. Lomonosov Moscow State University; Leading Scientis
V. Y. Skiba
Federal Custom Service; Head of Department of Information Safety
Abstract. An approach is proposed to the problem of computer system proactive security. The approach is based on application of algorithmic instruments using methodology of self-testing and self-correcting programs. Along with development of self-corrected schemes, this approach is expected to become one of fundamental principle in proactive safe computer systems design.
Keywords: рroactive safety, self-tested and self-adjusted programs, probability oracle program, property of casual self-reducibility, stability, tests of linear and individual competence.