>

formally-defined security

📖 中文释义

  1. [计] 形式定义的安全性模型
F 字母词表