• 可证性逻辑 - 引用次数：2

  Presented a formal method based on provable logic that can analyze non-repudiation, fairness and timeliness.

  2.提出了一种基于可证性逻辑的,能同时分析非否认性、公平性与时限性的形式化分析方法。

  参考来源 - 公平非否认协议分析方法的研究

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