Formally-defined security
[计] 形式定义的安全性模型
🧩 词语组成解析
formally
[['fɔ:məli]]
adv. 正式地, 形式上
a. 清晰的, 轮廓分明的；有定义的, 确定的
🗣️ 情景例句
I'm not really sure.
我不是太有把握。
If you insist.
恭敬不如从命。
My plane leaves at seven, so I think we'll take a taxi.
飞机7:00起飞，因此我想我们得乘出租车去。