Информационная безопасность: формализация подходов и методов