搜索结果: 1-1 共查到“军事学 Inductive Trace Properties”相关记录1条 . 查询时间(0.062 秒)
Inductive Trace Properties for Computational Security
Inductive Trace Properties Computational Security
2009/1/9
Protocol authentication properties are generally trace-based,
meaning that authentication holds for the protocol if authentication
holds for individual traces (runs of the protocol and adversary). C...