买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：桂林电子科技大学

摘要：本发明公开了一种针对Shamir秘密共享的用户权重分配方法，包括构造OBDD结构，借助OBDD完成对秘密共享策略的刻画；提出剪除规则、删除规则、合并规则等化简规则，从有序二叉决策图中分别提取表示授权用户组合集的授权子OBDD和表示非授权用户组合集的非授权子OBDD；根据授权子OBDD和非授权子OBDD分别求取最小授权用户组合集MIN和最大非授权用户组合集MAX，以MIN和MAX为基础求出授权用户组合和非授权用户组合间的权重不等式；通过求解不等式计算出用户权重及秘密分享阈值。本发明方法能够完成对任意形式秘密共享策略的刻画、高效实现任意数量用户间的权重分配，并能够借助于子图重构及结构化简，降低算法的时空复杂度，进一步提高权重分配效率。

主权项：1.一种针对Shamir秘密共享的用户权重分配方法，其特征在于，该方法包括如下步骤：1构造OBDD结构；假设Shamir秘密共享阈值为t，秘密共享策略借助于布尔函数f表示，基于布尔函数f构造OBDD结构；在OBDD结构中存在根结点、中间结点和终结点三类节点，根结点和中间结点统称为非终结点；根结点root表示f；非终结点使用四元组id,i,low,high表示，其中id为结点编号，i为结点中所含变量编号，low和high分别为左、右孩子结点；当非终结点中所含变量取值为0时，能够沿0边到达其左孩子结点，相反的，当非终结点中所含变量取值为1时，能够沿1边到达其右孩子结点；终结点有两个，记为和分别用于表示布尔常量0和1，终结点没有边；基于布尔函数f构造OBDD结构，其中非终结点表示用户，非终结点的1边表示用户参与秘密共享、0边表示用户不参与秘密共享；并进一步给出以下定义：有效路径：在之间的某条路径上，若变量按照OBDD构造时定义的变量序出现，则称该路径为一条有效路径，有效路径代表了授权用户组合；无效路径：在之间的某条路径上，若变量按照OBDD构造时定义的变量序出现，则称该路径为一条无效路径，无效路径代表了非授权用户组合；在不引起歧义的情况下，使用Pi同时代表路径和用户组合，对于路径Pi，使用一组形式为xj,edgej的二元组进行表示，其中xj用于记录结点中用户编号，edgej用于记录结点边值，当edgej取值为1时表示用户xj存在于Pi所代表的用户组合，否则表示用户xj不存在于Pi所代表的用户组合；2提出剪除规则、删除规则和合并规则，基于OBDD结构分别构造表示授权用户组合集的授权子OBDD和表示非授权用户组合集的非授权子OBDD；所述授权子OBDD的构造规则如下：2.1.1剪除规则：从终结点开始，自下而上剪除与有效路径无关的结点和边；2.1.2删除规则1：对于非终结点u，如果满足u.low＝u.high，则将指向非终结点u的所有边连接至u.low，然后删除非终结点u；2.1.3删除规则2：对于非终结点u，如果满足u.low＝1，则将指向非终结点u的所有边连接至然后删除非终结点u；2.1.4合并规则：对于OBDD结构中的非终结点u＝idu,iu,lowu,highu和非终结点v＝idv,iv,lowv,highv，如果iu＝iv∧lowu＝lowv∧highu＝highv，则将指向非终结点u的所有边连接至非终结点v，然后删除非终结点u；上述规则需重复执行，直至授权子OBDD不再变化；非授权子OBDD的构造规则如下：2.2.1剪除规则：从终结点开始，自下而上剪除与无效路径无关的结点和边；2.2.2删除规则1：对于非终结点u，如果满足u.low＝u.high，则删除u.low；2.2.3删除规则2：对于非终结点u，如果满足u.low＝0，则将指向非终结点u的所有边连接至然后删除非终结点u；2.2.4合并规则：对于OBDD结构中的非终结点u＝idu,iu,lowu,highu和非终结点v＝idv,iv,lowv,highv，如果iu＝iv∧lowu＝lowv∧highu＝highv，则将指向非终结点u的所有边连接至结点v，然后删除非终结点u；上述规则需重复执行，直至非授权子OBDD不再变化；3基于授权子OBDD和非授权子OBDD分别求取最小授权用户组合集MIN和最大非授权用户组合集MAX；所述基于授权子OBDD求取最小授权用户组合集MIN，求取MIN的步骤如下：3.1.1通过遍历授权子OBDD获得全部有效路径，假设共有v条，记为V＝{V1,V2,…,Vi…,Vv}；3.1.2对于某条有效路径Vi中的二元组xj,edgej，若edgej＝1则将xj存入集合Mini，最终得到最小授权用户组合Mini＝{xj|xj,edgej∈Vi且edgej＝1}；3.1.3根据全部有效路径求得MIN＝{Min1,Min2,…,Minv}；同理，基于非授权子OBDD求取最大非授权用户组合集MAX，求取MAX的步骤如下：3.2.1通过遍历非授权子OBDD获得全部无效路径，假设共有f条，记为F＝{F1,F2,…,Fi…,Ff}；3.2.2对于某条无效路径Fi中的二元组xj,edgej，若edgej＝1则将xj存入集合Maxi，最终得到Maxi＝{xj|xj,edgej∈Fi且edgej＝1}；3.2.3根据全部无效路径求得MAX＝{Max1,Max2,…,Maxf}；4计算用户权重及秘密分享阈值；首先进行以下约定：将用户xi的份额表示为si，满足si0；对于用户组合Min、Max，使用|Min|、|Max|表示组合内所有用户拥有权重之和；在Shamir秘密共享机制中，任意授权用户组合可完成秘密重构，而任意非授权用户组合无法完成秘密重构，因此必然满足①满足|Mini|≥t；②满足|Maxj|t，因此借助多个多项式表示权限分配需满足的条件，即：|Mini||Maxj|，其中Mini∈MIN、Maxj∈MAX；通过求解上述多项式便可得出各参与方的具体权重，并将Shamir秘密共享阈值t设置为集合{|Mini||Mini∈MIN}中元素的最小取值。

全文数据：一种针对Shamir秘密共享的用户权重分配方法技术领域本发明涉及信息安全技术领域，具体是一种针对Shamir秘密共享中用户权重的分配方法。背景技术秘密共享是密码学中的重要原语之一，最早由Shamir和Blakley于1979年基于代数学和几何学分别提出。其基本思想是将秘密以适当的方式拆分成多个子秘密，不同的子秘密由不同的参与者保存，只有符合条件的多个参与者共同协作才能恢复秘密消息，从而实现对信息的保护与保密。伴随着信息技术的不断发展以及网络场景的愈发复杂，尤其是云计算、分布式存储、大数据等技术的兴起，秘密共享显现出了更为广阔的应用前景，因此广大的科研工作者对其展开了深入研究，并提出了许多功能更加完善、安全性更高的秘密共享方案。例如，针对不同用户权限不同的问题，提出了带权重的Shamir秘密共享方案；针对分发者和参与者不诚实的问题，提出了可验证秘密共享的概念；针对子秘密复用问题提出了子秘密可复用的可验证秘密共享方案；将Shamir秘密共享方案应用于数据外包、属性基加密、代理重加密、电子投票协议、密钥托管协议等密码算法或协议的设计与实现中，协助保证信息的安全、完整及可用。虽然不断有新的研究成果被提出，但是通过分析可以发现，此类成果着重研究秘密共享方案的性能增强、功能扩展和应用场景部署等方面，针对如何确定用户权重的研究较少，而用户权重的确定是Shamir秘密共享方案在实际应用部署中需要最先解决的问题之一。发明内容本发明的目的是针对现有技术的不足，而提供一种针对Shamir秘密共享的用户权重分配方法，该方法通过构造有序二叉决策图OrderedBinaryDecisionDiagram，OBDD结构，借助OBDD完成对秘密共享策略的刻画，实现任意数量用户间的权重分配，并借助子图重构及结构化简，降低算法的时空复杂度、进一步提高权重分配效率。实现本发明目的的技术方案是：一种针对Shamir秘密共享的用户权重分配方法，包括如下步骤：1构造OBDD结构；假设Shamir秘密共享阈值为t，秘密共享策略借助于布尔函数f表示，基于布尔函数f构造OBDD结构；在OBDD结构中存在根结点、中间结点和终结点三类节点；根结点和中间结点统称为非终结点，非终结点使用四元组表示，其中id为结点编号，i为结点中所含变量编号，low和high分别为左、右孩子结点；当非终结点中所含变量取值为0时，能够沿0边到达其左孩子结点，相反的，当非终结点中所含变量取值为1时，能够沿1边到达其右孩子结点；终结点有两个，记为和分别用于表示布尔常量0和1，终结点没有边；基于布尔函数f构造OBDD结构，其中非终结点表示用户，非终结点的1边表示用户参与秘密共享、0边表示用户不参与秘密共享；并进一步给出以下定义：有效路径：在之间的某条路径上，若变量按照OBDD构造时定义的变量序出现，则称该路径为一条有效路径，有效路径代表了授权用户组合；无效路径：在之间的某条路径上，若变量按照OBDD构造时定义的变量序出现，则称该路径为一条无效路径，无效路径代表了非授权用户组合；在不引起歧义的情况下，使用Pi同时代表路径和用户组合，对于路径Pi，使用一组形式为xj,edgej的二元组进行表示，其中xj用于记录结点中用户编号，edgej用于记录结点边值，当edgej取值为1时表示用户xj存在于Pi所代表的用户组合，否则表示用户xj不存在于Pi所代表的用户组合。2提出剪除规则、删除规则和合并规则，基于OBDD结构分别构造表示授权用户组合集的授权子OBDD和表示非授权用户组合集的非授权子OBDD；其中授权子OBDD的构造规则如下：2.1.1剪除规则：从终结点开始，自下而上剪除与有效路径无关的结点和边；2.1.2删除规则1：对于非终结点u，如果满足u.low＝u.high，则将指向非终结点u的所有边连接至u.low，然后删除非终结点u；2.1.3删除规则2：对于非终结点u，如果满足u.low＝1，则将指向非终结点u的所有边连接至[1]，然后删除非终结点u；2.1.4合并规则：对于非终结点u＝和非终结点v＝，如果iu＝iv∧lowu＝lowv∧highu＝highv，则将指向非终结点u的所有边连接至非终结点v，然后删除非终结点u；上述规则需重复执行，直至授权子OBDD不再变化；基于OBDD构造非授权子OBDD的规则如下：2.2.1剪除规则：从终结点开始，自下而上剪除与无效路径无关的结点和边；2.2.2删除规则1：对于非终结点u，如果满足u.low＝u.high，则删除u.low；2.2.3删除规则2：对于非终结点u，如果满足u.low＝0，则将指向非终结点u的所有边连接至然后删除非终结点u；2.2.4合并规则：对于非终结点u＝和非终结点v＝，如果iu＝iv∧lowu＝lowv∧highu＝highv，则将指向非终结点u的所有边连接至结点v，然后删除非终结点u；上述规则需重复执行，直至非授权子OBDD不再变化。3基于授权子OBDD和非授权子OBDD分别求取最小授权用户组合集MIN和最大非授权用户组合集MAX；基于授权子OBDD可以求取最小授权用户组合集，记为MIN；同理，借助于非授权子OBDD可以求取最大非授权用户组合集，记为MAX；基于授权子OBDD求取MIN的步骤如下：3.1.1通过遍历授权子OBDD获得全部有效路径，假设共有v条，记为V＝{V1,V2,…,Vi…,Vv}；3.1.2对于某条有效路径Vi中的二元组xj,edgej，若edgej＝1则将xj存入集合Mini，最终得到最小授权用户组合Mini＝{xj|xj,edgej∈Vi且edgej＝1}；3.1.3根据全部有效路径求得MIN＝{Min1,Min2,…,Minv}；同理，基于非授权子OBDD求取最大非授权用户组合集MAX，求取MAX的步骤如下：3.2.1通过遍历非授权子OBDD获得全部无效路径，假设共有f条，记为F＝{F1,F2,…,Fi…,Ff}；3.2.2对于某条无效路径Fi中的二元组xj,edgej，若edgej＝1则将xj存入集合Maxi，最终得到Maxi＝{xj|xj,edgej∈Fi且edgej＝1}；3.2.3根据全部无效路径求得MAX＝{Max1,Max2,…,Maxf}。4计算用户权重及秘密分享阈值在进行用户权重计算之前，进行以下约定：将用户xi的份额表示为si，满足si0；对于用户组合Min、Max，使用|Min|、|Max|表示组合内所有用户拥有权重之和；在Shamir秘密共享机制中，任意授权用户组合均可完成秘密重构，而任意非授权用户组合均无法完成秘密重构，因此必然满足①满足|Mini|≥t；②满足|Maxj||Maxj|，其中Mini∈MIN、Maxj∈MAX；进一步地，通过求解上述多项式便可得出各参与方的具体权重，并将Shamir秘密共享阈值t设置为集合{|Mini||Mini∈MIN}中元素的最小取值。通过上述技术方案可以看出，本发明采用OBDD结构实现对秘密共享策略的刻画，并借助于子图同构及结构化简使得OBDD简洁高效；由于OBDD结构能够刻画任意形式的布尔函数，因此本发明方法能够实现任意数量用户间的权重计算。此外，由于本发明方法能够借助于子图同构以及新提出的多个化简规则实现对OBDD的化简，因此使得其时间复杂度和空间复杂度显著降低，保证OBDD简洁高效的同时，进一步提升权重计算效率。附图说明图1是本发明针对Shamir秘密共享的用户权重分配方法流程图；图2是实施例中OBDD结构中存在子图同构示意图；图3是实施例中同构子图合并后得到的新OBDD结构示意图；图4是实施例中根据实例1中的访问策略所构造的OBDD结构示意图；图5是实施例中根据实例2构造的授权子OBDD结构示意图；图6是实施例中根据实例2构造的非授权子OBDD结构示意图。具体实施方式下面结合实施例和附图，对本发明的内容作进一步的详细说明，但不是对本发明的限定。现有技术中，Shamirt,n秘密共享的实现思路为：将秘密s分解成n份子秘密，当不少于t份子秘密相互联合时可以恢复出s，而任意少于t份的子秘密相互联合无法恢复出s。Shamir秘密共享方案，主要包括秘密拆分、秘密重构两个过程：1秘密拆分秘密拆分过程主要由秘密分发者将秘密s分解成n份子秘密，并分别交由n个不同用户{p1,p2,…,pn}持有；具体有以下操作：秘密分发者选择有限域Fq其中q≥n，随机从Fq中选择并公开n个互不相同的非零元素x1,x2,…,xn；随机从Fq中选择并公开t-1个元素a1,a2,…,at-1，构造t-1次多项式fx＝s+a1x+a2x2+…+at-1xt-1，计算子秘密fxi1≤i≤n并发送给秘密持有者pi1≤i≤n；2秘密重构不失一般性，假设参与秘密重构的用户为{p1,p2,…,pt}；秘密持有者pi1≤i≤t分别提供子秘密xi,fxi，借助于Lagrange插值法可以恢复出秘密拆分过程中所构造的多项式继而计算出秘密s＝f0。加权Shamir秘密共享：此类机制可表示为t,n,w，其中t为秘密分享门限值，n为参与秘密共享的用户总量，w代表用户权值分配函数。假设秘密持有者pi1≤i≤n的权重为wi1≤i≤n，加权门限秘密共享方案的具体含义是指，对于某一用户组合P’，如果满足则用户组合P’可以完成秘密恢复；否则无法完成秘密恢复。实施例参照图1，本发明针对Shamir秘密共享的用户权重分配方法，实现的基本依据是：假设秘密共享阈值为t，那么任意授权用户组合所拥有的权值之和应不小于t，且任意非授权用户组合所拥有的权值之和必须小于t，本发明方法具体包括如下步骤：1构造OBDD结构，假设Shamir秘密共享阈值为t，秘密共享策略借助于布尔函数f表示，基于布尔函数f构造OBDD结构。OBDD是一种用来规范化表示布尔函数f的有向无环图，由结点和边组成，其性质如下：①共包含根结点、中间结点和终结点三类节点，根结点和中间结点统称为非终结点；②根结点root表示f；③非终结点可使用四元组表示，其中id为结点编号，i为结点中所含变量编号，low和high分别为左、右孩子结点；当非终结点中所含变量取值为0时，能够沿0边到达其左孩子结点，相反的，当非终结点中所含变量取值为1时，能够沿1边到达其右孩子结点；④终结点有两个，记为和分别用于表示布尔常量0和1，终结点没有边；⑤在图形化表示中，非终结点使用圆圈○表示，终结点使用方框□表示，非终结点与左、右孩子结点间分别使用虚线和实线连接；OBDD中结点的构造如下：structnode{unsignedshortndex；变量编号unsignedshortid；结点编号structnode*low；0分枝子结点structnode*high；1分枝子结点doubleval；终结点取值为0或者1}；子图同构：给定OBDD结构中的两个非终结点u＝和v＝；非终结点u和v代表的子图分别为Gu和Gv，Gu和Gv同构表示为是指iu＝iv根据以上定义，在图2所示的OBDD中，非终结点u和v所代表的子图是同构的，即若将同构子图进行合并，可以得出图3所示的OBDD。借助于OBDD完成对秘密共享策略的刻画，采用香农展开定理：该定理是OBDD的基本构造准则，其数学表达如下：fx1,x2,…,xi,…,xn＝xi·fx1,x2,…,1,…,xn+xi’·fx1,x2,…,0,…,xn；按照香农定理将全部变量xi1≤i≤n展开，将得到唯一的OBDD结构，但是在展开之前需要预先定义变量的展开顺序。假设共有n个参与者，记为X＝{x1,x2,…,xn}，以布尔函数形式表述的秘密共享策略为fx1,x2,…,xn，OBDD中的变量序为π:x1和非终结点v＝，如果iu＝iv∧lowu＝lowv∧highu＝highv，则将指向非终结点u的所有边连接至非终结点v，然后删除非终结点u；上述规则需重复执行，直至授权子OBDD不再变化；基于OBDD构造非授权子OBDD的规则如下：2.2.1剪除规则：从终结点1开始，自下而上剪除与无效路径无关的结点和边；2.2.2删除规则1：对于非终结点u，如果满足u.low＝u.high，则删除u.low；2.2.3删除规则2：对于非终结点u，如果满足u.low＝0，则将指向非终结点u的所有边连接至0，然后删除非终结点u；2.2.4合并规则：对于OBDD结构中的非终结点u＝和非终结点v＝，如果iu＝iv∧lowu＝lowv∧highu＝highv，则将指向非终结点u的所有边连接至结点v，然后删除非终结点u；上述规则需重复执行，直至非授权子OBDD不再变化。实例2：基于以上规则，根据实例1中的OBDD可以构造出图5所示的授权子OBDD和图6所示的非授权子OBDD。3基于授权子OBDD和非授权子OBDD分别求取最小授权用户组合集MIN和最大非授权用户组合集MAX；基于授权子OBDD求取MIN的步骤如下：3.1.1通过遍历授权子OBDD获得全部有效路径，假设共有v条，记为V＝{V1,V2,…,Vi…,Vv}；3.1.2对于某条有效路径Vi中的二元组xj,edgej，若edgej＝1则将xj存入集合Mini，最终得到最小授权用户组合Mini＝{xj|xj,edgej∈Vi且edgej＝1}；3.1.3根据全部有效路径求得MIN＝{Min1,Min2,…,Minv}；同理，基于非授权子OBDD求取最大非授权用户组合集MAX，求取MAX的步骤如下：3.2.1通过遍历非授权子OBDD获得全部无效路径，假设共有f条，记为F＝{F1,F2,…,Fi…,Ff}；3.2.2对于某条无效路径Fi中的二元组xj,edgej，若edgej＝1则将xj存入集合Maxi，最终得到Maxi＝{xj|xj,edgej∈Fi且edgej＝1}；3.2.3根据全部无效路径求得MAX＝{Max1,Max2,…,Maxf}。实例3：基于实例2中求得的授权子OBDD和非授权子OBDD，可以按照以上步骤分别得出全部的有效路径、无效路径、最小授权用户组合、最大非授权用户组合、最小授权组合集MIN、最大非授权组合集MAX；共有4条有效路径：对应的最小授权用户组合分别记为Min1＝{x2,x3,x4}、Min2＝{x1,x4}、Min3＝{x1,x3}、Min4＝{x1,x2}；最小授权组合集MIN＝{{x2,x3,x4},{x1,x4},{x1,x3},{x1,x2}}；共有4条无效路径：对应的最大非授权用户组合分别记为Max1＝{x3,x4}、Max2＝{x2,x4}、Max3＝{x2,x3}、Max4＝{x1}，最大非授权组合集MAX＝{{x3,x4},{x2,x4},{x2,x3},{x1}}。4计算用户权重及秘密分享阈值在进行用户权重计算之前，首先进行以下约定：将用户xi的份额表示为si，满足si0；对于用户组合Min、Max，使用|Min|、|Max|表示组合内所有用户拥有权重之和；在Shamir秘密共享机制中，任意授权用户组合均可完成秘密重构，而任意非授权用户组合均无法完成秘密重构，因此必然满足①满足|Mini|≥t；②满足|Maxj||Maxj|，其中Mini∈MIN、Maxj∈MAX，进一步地，通过求解上述多项式便可得出各参与方的具体权重，并将Shamir秘密共享阈值t设置为集合{|Mini||Mini∈MIN}中元素的最小取值。实例4：计算Shamir秘密共享中用户权重由实例3可知，在MIN中共有4组授权用户组合，在MAX中共有4组非授权用户组合，按照上述权重计算方法，可以得出如下多项式：|Min1||Max1|，|Min2||Max1|，|Min3||Max1|，|Min4||Max1|，|Min1||Max2|，|Min2||Max2|，|Min3||Max2|，|Min4||Max2|，|Min1||Max3|，|Min2||Max3|，|Min3||Max3|，|Min4||Max3|，|Min1||Max4|，|Min2||Max4|，|Min3||Max4|，|Min4||Max4|；即s2+s3+s4s3+s4，s1+s4s3+s4，s1+s3s3+s4，s1+s2s3+s4，s2+s3+s4s2+s4，s1+s4s2+s4，s1+s3s2+s4，s1+s2s2+s4，s2+s3+s4s2+s3，s1+s4s2+s3，s1+s3s2+s3，s1+s2s2+s3，s2+s3+s4s2，s1+s4s2，s1+s3s2，s1+s2s2。对上述多项式进行约简及整合，得出s1s20，s1s30，s1s40，s1+s2s3+s4，s1+s3s2+s4，s1+s4s2+s3。若添加约束条件minimizet，则求将份额计算转换为整数规划问题，即minimizet通过求解上述问题可得s1＝2,s2＝1,s3＝1,s4＝1,t＝3；需要指出的是，约束条件可以进行其他设置，如minimize∑si、minimizemaxsi。以上对本发明实施例所提供的一种针对Shamir秘密共享的用户权重分配方法进行了详细介绍，本发明中应用了具体个例对本发明的原理及实施方式进行了阐述，以上实施例的说明只是用于帮助理解本发明的方法及其核心思想；同时，对于本领域的一般技术人员，依据本发明的思想，在具体实施方式及应用范围上均会有改变之处，综上所述，本说明书内容不应理解为对本发明的限制。

权利要求：1.一种针对Shamir秘密共享的用户权重分配方法，其特征在于，该方法包括如下步骤：1构造OBDD结构；2提出剪除规则、删除规则和合并规则，基于OBDD结构分别构造表示授权用户组合集的授权子OBDD和表示非授权用户组合集的非授权子OBDD；3基于授权子OBDD和非授权子OBDD分别求取最小授权用户组合集MIN和最大非授权用户组合集MAX；4计算用户权重及秘密分享阈值。2.根据权利要求1所述的一种针对Shamir秘密共享的用户权重分配方法，其特征在于：步骤1所述构造OBDD结构的方法是，假设Shamir秘密共享阈值为t，秘密共享策略借助于布尔函数f表示，基于布尔函数f构造OBDD结构；在OBDD结构中存在根结点、中间结点和终结点三类节点，根结点和中间结点统称为非终结点；根结点root表示f；非终结点使用四元组表示，其中id为结点编号，i为结点中所含变量编号，low和high分别为左、右孩子结点；当非终结点中所含变量取值为0时，能够沿0边到达其左孩子结点，相反的，当非终结点中所含变量取值为1时，能够沿1边到达其右孩子结点；终结点有两个，记为和分别用于表示布尔常量0和1，终结点没有边；基于布尔函数f构造OBDD结构，其中非终结点表示用户，非终结点的1边表示用户参与秘密共享、0边表示用户不参与秘密共享；并进一步给出以下定义：有效路径：在之间的某条路径上，若变量按照OBDD构造时定义的变量序出现，则称该路径为一条有效路径，有效路径代表了授权用户组合；无效路径：在之间的某条路径上，若变量按照OBDD构造时定义的变量序出现，则称该路径为一条无效路径，无效路径代表了非授权用户组合；在不引起歧义的情况下，使用Pi同时代表路径和用户组合，对于路径Pi，使用一组形式为xj,edgej的二元组进行表示，其中xj用于记录结点中用户编号，edgej用于记录结点边值，当edgej取值为1时表示用户xj存在于Pi所代表的用户组合，否则表示用户xj不存在于Pi所代表的用户组合。3.根据权利要求1所述的一种针对Shamir秘密共享的用户权重分配方法，其特征在于：步骤2所述基于OBDD结构分别构造表示授权用户组合集的授权子OBDD和表示非授权用户组合集的非授权子OBDD，其中授权子OBDD的构造规则如下：2.1.1剪除规则：从终结点开始，自下而上剪除与有效路径无关的结点和边；2.1.2删除规则1：对于非终结点u，如果满足u.low＝u.high，则将指向非终结点u的所有边连接至u.low，然后删除非终结点u；2.1.3删除规则2：对于非终结点u，如果满足u.low＝1，则将指向非终结点u的所有边连接至然后删除非终结点u；2.1.4合并规则：对于OBDD结构中的非终结点u＝和非终结点v＝，如果iu＝iv∧lowu＝lowv∧highu＝highv，则将指向非终结点u的所有边连接至非终结点v，然后删除非终结点u；上述规则需重复执行，直至授权子OBDD不再变化；非授权子OBDD的构造规则如下：2.2.1剪除规则：从终结点开始，自下而上剪除与无效路径无关的结点和边；2.2.2删除规则1：对于非终结点u，如果满足u.low＝u.high，则删除u.low；2.2.3删除规则2：对于非终结点u，如果满足u.low＝0，则将指向非终结点u的所有边连接至然后删除非终结点u；2.2.4合并规则：对于OBDD结构中的非终结点u＝和非终结点v＝，如果iu＝iv∧lowu＝lowv∧highu＝highv，则将指向非终结点u的所有边连接至结点v，然后删除非终结点u；上述规则需重复执行，直至非授权子OBDD不再变化。4.根据权利要求1所述的一种针对Shamir秘密共享的用户权重分配方法，其特征在于：步骤3所述基于授权子OBDD求取最小授权用户组合集MIN，求取MIN的步骤如下：3.1.1通过遍历授权子OBDD获得全部有效路径，假设共有v条，记为V＝{V1,V2,…,Vi…,Vv}；3.1.2对于某条有效路径Vi中的二元组xj,edgej，若edgej＝1则将xj存入集合Mini，最终得到最小授权用户组合Mini＝{xj|xj,edgej∈Vi且edgej＝1}；3.1.3根据全部有效路径求得MIN＝{Min1,Min2,…,Minv}；同理，基于非授权子OBDD求取最大非授权用户组合集MAX，求取MAX的步骤如下：3.2.1通过遍历非授权子OBDD获得全部无效路径，假设共有f条，记为F＝{F1,F2,…,Fi…,Ff}；3.2.2对于某条无效路径Fi中的二元组xj,edgej，若edgej＝1则将xj存入集合Maxi，最终得到Maxi＝{xj|xj,edgej∈Fi且edgej＝1}；3.2.3根据全部无效路径求得MAX＝{Max1,Max2,…,Maxf}。5.根据权利要求1所述的一种针对Shamir秘密共享的用户权重分配方法，其特征在于：步骤4所述计算用户权重，首先进行以下约定：将用户xi的份额表示为si，满足si0；对于用户组合Min、Max，使用|Min|、|Max|表示组合内所有用户拥有权重之和；在Shamir秘密共享机制中，任意授权用户组合可完成秘密重构，而任意非授权用户组合无法完成秘密重构，因此必然满足①满足|Mini|≥t；②满足|Maxj||Maxj|，其中Mini∈MIN、Maxj∈MAX；通过求解上述多项式便可得出各参与方的具体权重，并将Shamir秘密共享阈值t设置为集合{|Mini||Mini∈MIN}中元素的最小取值。

百度查询： 桂林电子科技大学 一种针对Shamir秘密共享的用户权重分配方法