Formally-defined security
[计] 形式定义的安全性模型
🧩 词语组成解析
formally
[['fɔ:məli]]
adv. 正式地, 形式上
a. 清晰的, 轮廓分明的；有定义的, 确定的
🗣️ 情景例句
Well, maybe your dad and I could take you fishing with us.
嗯， 也许你爸爸和我可以带你去钓鱼。
We're having some friends over. What are you doing?
我们打算请几位朋友来玩。你打算干什么呢？
This modern faith in medicines is proved by the fact
这个事实证实了现代人对药物的信赖。