Bogdanov, and Kotenko, 2006. Architecture, models and techniques of functioning of the system of proactive monitoring of security policy. SPIIRAS Proceedings. 2, 3 (Apr. 2006), 50-69. DOI:https://doi.org/10.15622/sp.3.3.