ФОРМАЛЬНОЕ ОПИСАНИЕ АСИМПТОТИЧЕСКОГО УПРАВЛЕНИЯ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТЬЮ КИИстатья