Asymptotic Information Security Management Formal Description for Critical Information Infrastructureдоклад на конференции