一种基于Petri网的软件保护技术应用序列构建方法技术

本发明专利技术公开了一种基于Petri网的软件保护技术应用序列构建方法，解决了现有技术中在确定软件保护技术之间应用顺序的过程中存在着建模过程繁琐，且无法在确定合适应用序列的基础上选择可以最大化满足预设需求的应用序列的技术问题。

【技术实现步骤摘要】
一种基于Petri网的软件保护技术应用序列构建方法
本专利技术涉及软件保护领域，尤其涉及一种基于Petri网的软件保护技术应用序列构建方法。
技术介绍
计算机安全很大程度上是软件安全问题，当前软件安全面临三大威胁：逆向分析、盗版和篡改，这些威胁使软件处于危险的“白盒攻击环境”中，为了对抗这些威胁，当前软件保护手段主要有：代码混淆、软件水印和防篡改技术。代码混淆技术主要用于防御对程序的逆向分析，本质上是对代码进行“保留语义的”等价变换，但转换后的程序更难被理解。软件水印技术是指将某些标识信息通过某种方式嵌入在软件中，并在必要的时候进行提取，并据此作软件版权归属证明和完整性验证等。软件防篡改技术是指通过基于硬件和软件的措施阻止被非法修改后的程序正常运行。由于单一的代码混淆技术已经被证明不能提供绝对的安全性，而软件水印和防篡改技术都只能作为降低软件被攻破后的损失的一种手段，因此主流的软件保护系统一般都会同时使用以上三大类技术。然而，当这些技术之间具有依赖关系时，则需要确定它们之间的合适的应用顺序，方能同时保证代码保护效果以及与原程序的等价性，否则可能起到保护效果被抵消甚至被保护软件受到破坏本文档来自技高网...

【技术保护点】
一种基于Petri网的软件保护技术应用序列构建方法，其特点在于，包括：S1：确定软件保护技术之间的N种依赖关系，并建立与所述N种依赖关系一一对应的N个的带抑止弧的Petri网模型，其中，所述带抑止弧的Petri网模型中包含与所述软件保护技术相对应的有限迁移集合，所述带抑止弧的Petri网模型中的变迁的发生规则符合对应的所述依赖关系，所述带抑止弧的Petri网模型中设置有与有限迁移集合具有双向弧连接关系的库所P1，N为正整数，若N大于1，则合并所述N个带抑止弧的Petri网模型中的所述库所P1，得到合并后的带抑止弧的Petri网模型；S2：建立所述带抑止弧的Petri网模型对应的可达图，确定满足...

【技术特征摘要】
1.一种基于Petri网的软件保护技术应用序列构建方法，其特点在于，包括：S1：确定软件保护技术之间的N种依赖关系，并建立与所述N种依赖关系一一对应的N个的带抑止弧的Petri网模型，其中，所述带抑止弧的Petri网模型中包含与所述软件保护技术相对应的有限迁移集合，所述带抑止弧的Petri网模型中的变迁的发生规则符合对应的所述依赖关系，所述带抑止弧的Petri网模型中设置有与有限迁移集合具有双向弧连接关系的库所P1，N为正整数，若N大于1，则合并所述N个带抑止弧的Petri网模型中的所述库所P1，得到合并后的带抑止弧的Petri网模型；S2：建立所述带抑止弧的Petri网模型对应的可达图，确定满足预设规则的目标标识，以及确定所述可达图的初始标志和所述目标标识之间的变迁发生序列。2.根据权利要求1所述的基于Petri网的软件保护技术应用序列构建方法，其特征在于，所述步骤S1具体包括：当确定软件保护技术之间的依赖关系中的一种为前向依赖关系时，建立包含t1变迁、t2变迁、t3变迁、t4变迁、t5变迁、P1库所、P2库所、P3库所、P4库所、P5库所的Petri网模型，所述Petri网模型为五元组Petri网模型Σ＝(P,T；F,I,M)，其中库所集P＝{P1,P2,P3,P4,P5}；变迁集T＝{t1,t2,t3,t4,t5}；弧集F＝{<P1,t1>,<t1,P1>,<P1,t2>,<t2,P1>,<t2,P5>,<P4,t1>,<P2,t1>,<t1,P2>,<t1,P3>,<t2,P2>}；抑止弧集初始网标志M0＝[1,0,0,n,m]，所述P4控制第一软件保护技术最多应用n次，所述P5控制第二软件保护技术最多应用m次；所述Petri网模型中有限迁移集合中的t1变迁与所述第一软件保护技术相对应，所述Petri网模型中有限迁移集合中的t2变迁与所述第二软件保护技术相对应。3.根据权利要求1所述的基于Petri网的软件保护技术应用序列构建方法，其特征在于，所述步骤S1具体包括：当确定软件保护技术之间的依赖关系中的一种为后向依赖关系时，建立包含t1变迁、t2变迁、t3变迁、P1库所、P2库所、P3库所、P4库所、P5库所和P6库所的Petri网模型，所述Petri网模型为五元组Petri网模型Σ＝(P,T；F,I,M)，其中库所集P＝{P1,P2,P3,P4,P5,P6}；变迁集T＝{t1,t2,t3}；弧集F＝{<P1,t1>,<t1,P1>,<P1,t2>,<t2,P1>,<t2,P3>,<P5,t2>,<t3,P5>,<P4,t1>,<t1,P2>,<P6,t3>}；抑止弧集I＝{<P4,t3>}；初始网标志M0＝[1,0,0,n,m-1,1]，所述P4控制第三软件保护技术最多应用n次，所述P5控制第四软件保护技术最多应用m-1次；所述Petri网模型中有限迁移集合中的t1变迁与所述第三软件保护技术相对应，所述Petri网模型中有限迁移集合中的t2变迁与所述第四软件保护技术相对应。4.根据权利要求1所述的基于Petri网的软件保护技术应用序列构建方法，其特征在于，所述步骤S1具体包括：当确定软件保护技术之间的依赖关系中的一种为前向禁止依赖关系时，建立包含t1变迁、t2变迁、P1库所、P2库所、P3库所、P4库所和P5库所的Petri网模型，所述Petri网模型为五元组Petri网模型Σ＝(P,T；F,I,M)，其中库所集P＝{P1,P2,P3,P4,P5}；变迁集T＝{t1,t2}；弧集F＝{<P1,t1>,<t1,P1&...

【专利技术属性】
技术研发人员：苏庆，何凡，李倩，程天艺，
申请(专利权)人：广东工业大学，
类型：发明
国别省市：广东,44