形式定义的安全性模型

英语翻译

formally-defined security

拓展翻译

颜色安全性指数
color stability index

小项形式
minterm form

新形式
new model

形式
form; format; modality; shape
form

形式逼近
formal approximation

形式变换
formal transformation

形式变量
formal variable

形式变量过程参数
formal variable procedure parameter

形式变元
formal argument

形式标号
form label

形式标志
formal denotation; formal notation

形式表示
formal denotation

形式不完善
defect of form

形式参数
formal parameter

形式参数标识符
formal parameter identifier

形式参数表
formal parameter list

形式参数部分
formal parameter part

形式参数类型
type of formal parameter

形式测试
formal testing

形式程序参数
formal program parameter