Статья присвячена питанням побудови формальних моделей хмари, моделей безпеки і їх аналізу. Розглядається формальна модель хмари, запропонована NIST, розглядаються виділені в хмарі ролі та їх зв'язок між собою, наводиться опис основних функціональних компонентів хмари і їх функцій.
