Модель обмена невозможно проверить, пока Вы не озвучите "Модель злоумышленника". От каких угроз Вы защищаетесь ? (Раскрытие, подмена, модификация без расшифрования и т.п.) Какие из изображенных областей Вы считаете доверенными ? (Куда не может априори попасть злоумышленник ?)