• 多重集重写 - 引用次数：2

  The model uses strongly typed multiset rewriting over firs order atomic formulas to express protocol actions and relies on a form of existential quantification to symbolically model the generation of fresh data.

  MSR用基于一阶原子公式的类型化的多重集重写规则描述协议动作，用存在量词模拟新鲜数的产生，是一种精确、灵活的密码协议形式化模型。 本文所做的工作主要有以下几点：1) 分析研究了基于多重集重写的MSR模型及相关理论。

  参考来源 - 基于多重集重写的密码协议形式化分析技术研究

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