Formal Description for critical information infrasturctureстатья