Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Industrial Engineering Journal》 2017-06
Add to Favorite Get Latest Update

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

SU Qing;HE Fan;WU Naiqi;College of Computer Science, Guangdong University of Technology;College of Electromechanical Engineering, Guangdong University of Technology;  
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 categoriespre/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.
【Fund】: 广东省科技计划资助项目(2017A040405050);; 广州市科技计划资助项目(201604016041)
【CateGory Index】: TP301.1;TP309
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved