TY -的A2 -魏,郭亮AU - Li Lei AU -王,利晟盟——陈京盟——王,Ruiming盟——张Zhihong PY - 2014 DA - 2014/01/02 TI -公平分析多方认可协议基于改进链空间SP - 904717六世- 2014 AB -旨在公平的问题分析多方认可协议,一种新的形式分析方法提出了基于改进链空间。基于链空间理论,签名添加操作;的条款,subterm关系和弹头痕迹的集合定义和假设的免费加密扩展的新方法。公平的多方不可抵赖性协议的正式定义了和指导方针来验证基于改进链空间。最后,多党不可抵赖性验证协议的公平性Kremer-Markowitch协议的一个例子,这表明新方法适用于分析多方认可协议的公平性。SN - 1026 - 0226 UR - https://doi.org/10.1155/2014/904717 - 10.1155 / 2014/904717摩根富林明离散动力学自然界和社会中PB - Hindawi出版公司KW - ER