论文研究-一种基于内模PID控制的主动队列管理算法.pdf

【文件属性】：

文件名称：论文研究-一种基于内模PID控制的主动队列管理算法.pdf

文件大小：1.24MB

文件格式：PDF

更新时间：2022-10-01 12:15:27

论文研究

非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。利用交互式定理证明器Isabelle/HOL推导了“TTP的aborted仲裁”与“失败的合同签约”的不等价关系,提出了“合同签约失败”的形式定义,提出了一个新的非滥用性的形式化描述,验证了BW多方合同签署协议的非滥用性。