?形式化模型

中国最大的综合性文献数据库 -维普资讯 关键词: 密码协议 事件图 形式化模型 图元[gap=1364]Key words: Cryptographic protocol; Event graph; Formal model; Meta-graph

?正式模型

渠等建构了一个政策制定的正式模型 （formal model），主张授权乃国会政策制定与行政部门政策制定之间的选 择。

?正规模型

正规模型 （Formal model）。 事前事后状 况预。