Анализ угроз скрытых каналов и методы построения гарантированно защищенных распределенных автоматизированных системдиссертация