基于带抑止弧的Petri网的软件保护技术应用序列构建方法

doi:10.3969/j.issn.1007-7375.e17-4137

工业工程 ›› 2017, Vol. 20 ›› Issue (6): 77-83.doi: 10.3969/j.issn.1007-7375.e17-4137

基于带抑止弧的Petri网的软件保护技术应用序列构建方法

苏庆¹, 何凡¹, 伍乃骐²

1. 广东工业大学计算机学院;
2. 广东工业大学机电工程学院, 广东广州 510006

收稿日期:2017-05-29 出版日期:2017-12-30 发布日期:2018-01-09
作者简介:苏庆(1979–),男,广东省人,副教授,博士研究生,主要研究方向为软件安全与保护.
基金资助:
广东省科技计划资助项目（2017A040405050）；广州市科技计划资助项目（201604016041）

A Method of Constructing Sequence of Software Protection Technologies Based on Petri Net with Inhibitor Arcs

SU Qing¹, HE Fan¹, WU Naiqi²

1. College of Computer Science, Guangdong University of Technology, Guangzhou 510006, China;
2. College of Electromechanical Engineering, Guangdong University of Technology, Guangzhou 510006, China

Received:2017-05-29 Online:2017-12-30 Published:2018-01-09

摘要/Abstract

摘要： 基于软件保护领域中多种软件保护技术之间存在不同依赖关系的情况，针对求解有效的软件保护技术应用序列问题，提出了一种基于带抑止弧的Petri网建模分析的求解方法。首先分类并建立4种基本的软件保护技术依赖关系的Petri网模型，包括前向/后向必须依赖关系和前向/后向禁止依赖关系；根据实际应用场景建立相应的复合依赖关系Petri网模型，并绘制其可达标识图；在可达标识图中定位满足需求的标识，求解得从初始标识到此标识的一条变迁序列所对应的软件保护技术应用序列即为所求序列。最后，通过实验证明了此方法的有效性。

关键词: 软件保护技术, 带抑止弧的Petri网, 代码混淆技术, 软件水印技术

Abstract: A method is proposed to find a suitable sequence of software protection technologies with various dependency relationships existing among each other in software protection domain by Petri net with inhibitor arcs. Firstly, all dependency relationships are divided into four categories－pre/post-requirements and pre/post-prohibitions and Petri net model constructed for each relationship. Secondly, a composite model is built according to the specific software protection techniques to be used and the reachable marking map drawn. Thirdly, the required marking in reachable marking map is found and the sequence of transitions, which makes Petri net change from initial marking to the required marking, is the suitable sequence of software protection technologies. At last, the effectiveness of this method is demonstrated by experiments.

Key words: software protection technology, petri net with inhibitor arcs, code obfuscation technology, software watermarking technology

中图分类号:

TP309.7

苏庆, 何凡, 伍乃骐. 基于带抑止弧的Petri网的软件保护技术应用序列构建方法[J]. 工业工程, 2017, 20(6): 77-83.

SU Qing, HE Fan, WU Naiqi. A Method of Constructing Sequence of Software Protection Technologies Based on Petri Net with Inhibitor Arcs[J]. Industrial Engineering Journal , 2017, 20(6): 77-83.

参考文献

[1] GU Y X. Software security patterns: white-box attack analysis andsoftware protection technology[C]. Proceedings of the 1st Inter-national ACM Summer School on Information Security and Protection Theme on Software Security and Protection. New York: ACM, 2010: 7.
[2] BARAK B, GOLDREICH O, IMPAGLIAZZO R, et al. On the (im)possibility of obfuscating programs[J]. Journal of the ACM, 2001, 59(2): 1-18.
[3] COLLBERG C, THOMBORSON C, LOW D. A taxonomy of obfuscating transformations[R]. New Zealand: Department of Computer Science the University of Auckland, 1997: 148.
[4] WROBLEWSKI G. General method of program code obfuscation[C]. International Conference on Software Engineering Research and Practice. 2002.
[5] LACEY D, MOOR O D. Detecting disabling interference between program transformations[J]. 2001.
[6] HEFFNER K, COLLBERG C S. The obfuscation executive[C]. Information Security, International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings. DBLP, 2004: 428-440.
[7] 王怀军. 白盒环境中防动态攻击的软件保护方法研究[D]. 西安: 西北大学, 2014.
WANG Huaijun. Research on software protection method against dynamic attack in white box environment[D]. Xi'an: Northwestern University, 2014.
[8] 吴哲辉. Petri网导论[M]. 北京: 机械工业出版社, 2006.
[9] 苏庆, 吴伟民, 李忠良, 等. 混沌不透明谓词在代码混淆中的研究与应用[J]. 计算机科学, 2013, 40(6): 155-159.
SU Qing, WU Weimin, LI Zhongliang et, al. Research and application of chaos opaque predicate in code obfuscation[J]. Computer Science, 2013, 40(6): 155-159.
[10] 刘鹏, 赵荣彩, 李朋远. 一种面向向量化的动态指针别名分析框架[J]. 计算机科学, 2015, 42(3): 26-30.
LIU Peng, ZHAO Rongcai, LI Pengyuan. Dynamic pointer alias analysis framework for vectorization[J]. Computer Science, 2015, 42(3): 26-30.
[11] 杨宇波. 代码混淆模型研究[D]. 北京: 北京邮电大学, 2015.
YANG Yubo. Research on code obfuscation model[D]. Beijing: Beijing University of Posts and Telecommunications, 2015.
[12] 朱正平, 钟诚, 陈东用. 一种基于执行路径隐藏的软件水印算法[J]. 计算机应用研究, 2006, 23(12): 118-120.
ZHU Zhengping, ZHONG Cheng, CHEN Dongyong. Software watermarking algorithm based on hiding execution path of watermark-functions[J]. Application Research of Computers, 2006, 23(12): 118-120.
[13] 许广莲, 房鼎益, 王怀军, 等. 一种白盒环境中抗动态攻击的软件保护方法[J]. 小型微型计算机系统, 2015, 36(9): 2062-2066.
XU Guanglian, FANG Dingyi, WANG Huaijun, et al. Software protection method defending dynamic attack in white-box environment[J]. Journal of Chinese Computer Systems. 2015, 36(9): 2062-2066.
[14] ZHANG Jinquan, NI Lina, JIANG Changjun. An algorithm to construct concurrent reachability graph of petri nets[J]. Journal of Donghua University(English Edition), 2004, 21(3): 180-184.
[15] COLBERG C. Sandmark's home page[EB/OL]. http://sandmark.cs.arizona.edu.
[16] 王磊, 侯整风, 向润昭, 等. 基于嵌套复杂度的控制流混淆算法[J]. 计算机工程, 2016, 42(11): 177-181.
WANG Lei, HOU Zhengfeng, XIANG Runzhao, et al. A control flow obfuscation algorithm based on nested complexity[J]. Computer Engineering, 2016, 42(11): 177-181.

基于带抑止弧的Petri网的软件保护技术应用序列构建方法

A Method of Constructing Sequence of Software Protection Technologies Based on Petri Net with Inhibitor Arcs

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics

本文评价