«О новых подходах к созданию моделей гарантированно-защищенных распределенных компьютерных систем».