• weakest precondition - 引用次数：2

  参考来源 - 计算机辅助软件故障树建模与分析研究
• weakest precondition - 引用次数：2

  We specify a statement of failure as postcondition, expend the relative axioms and use them try to prove weakest precondition, if the proving succeed, it means that the protocol suffer from an attack.

  我们定义协议的失败条件作为后置条件，对加密系统的有关公理进行扩展，并用来对最弱前置条件进行推理证明，如果证明成功说明该协议会受到某个攻击。

  参考来源 - 加密协议的一种分析方法

·2,447,543篇论文数据，部分数据来源于NoteExpress