词典 / 通用词汇

【计】 形式定义的安全性模型

formally-defined security

补充或纠正词条 →