Formalization of Functions of the Prospective Program System for Protection of Automated System Information.

The article focuses on the method of function formalization of a prospective program system for protection of automated system information. E-networks or evaluation networks are the most adequate formal means for presentation of the automated systems for program information protection system performance dynamics. The E-network is a special type graph, developed on the basis of the known Petri networks, which is composed, as in the case of a Petri network, of two types of apexes, positions, and junctions connected to each other by oriented arcs. Each arc can connect only a junction to a position, or a position to a junction.