非滥用性相关论文
澄清了非滥用性质的模糊理解,提出了一种新的非滥用性质的形式化描述,并用定理证明工具Isabelle/HOL验证了BW多方合同签署协议的非......
非滥用性是合同签署协议提出的新的安全需求，人们对它的描述还模糊不明。利用交互式定理证明器Isabelle／HOL推导了“TTP的aborted仲......
