Formally-defined security
[计] 形式定义的安全性模型
🧩 词语组成解析
formally
[['fɔ:məli]]
adv. 正式地, 形式上
a. 清晰的, 轮廓分明的；有定义的, 确定的
🗣️ 情景例句
and sometimes just stubborn.
有时候甚至近乎顽固。
I'm afraid there's some sort of misunder standing.
这恐怕有一些误会。
A famous actor in a highly successful play was once cast in the role of an aristocrat who had been imprisoned in the Bastille for twenty years.
有一位名演员曾在一出极为成功的剧目中扮演一个贵族角色，这个贵族已在巴士底狱被关押了20年。