1) abuse-freeness
非滥用性
1.
Based on the interactive theorem prover Isabelle/HOL,the paper deduces the unequivalent relation between "TTP’s abort decision" and "aborted contract signing",gives formal definition of "contract signing failed",proposes a new formal description of abuse-freeness,and verifies abuse-freeness of BW multi-party contract signing protocol.
非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。
补充资料：连续性与非连续性(见间断性与不间断性)
连续性与非连续性(见间断性与不间断性)
continuity and discontinuity
11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。