К вопросу о существовании доказуемо стойких систем облачных вычисленийтезисы доклада