Событийно-ориентированная политика безопасности и формальная модель механизма защиты критических информационных инфраструктурстатья