Formally-defined security
[计] 形式定义的安全性模型
🧩 词语组成解析
formally
[['fɔ:məli]]
adv. 正式地, 形式上
a. 清晰的, 轮廓分明的；有定义的, 确定的
🗣️ 情景例句
Does two o'clock sound alright?
两点钟好吗？
Let us imagine a hypothetical case where we disagree.
让我们假设一个我们不同意的状况。
The situation seemed hopeless and he knew his life was in danger.
这种情况看来是毫无希望了，他知道他有生命危险。