A Vulnerability Model Construction Method Based on Chemical Abstract Machine |
| |
| Authors: | Xiang Li Jinfu Chen Zhechao Lin Lin Zhang Zibin Wang Minmin Zhou Wanggen Xie |
| |
| Affiliation: | 1.National Key Laboratory of Science and Technology on Information System Security,Beijing,China;2.Beijing Institute of System Engineering,Beijing,China;3.School of Computer Science and Communication Engineering,Jiangsu University,Zhenjiang,China |
| |
| Abstract: | It is difficult to formalize the causes of vulnerability, and there is no effective model to reveal the causes and characteristics of vulnerability. In this paper, a vulnerability model construction method is proposed to realize the description of vulnerability attribute and the construction of a vulnerability model. A vulnerability model based on chemical abstract machine (CHAM) is constructed to realize the CHAM description of vulnerability model, and the framework of vulnerability model is also discussed. Case study is carried out to verify the feasibility and effectiveness of the proposed model. In addition, a prototype system is also designed and implemented based on the proposed vulnerability model. Experimental results show that the proposed model is more effective than other methods in the detection of software vulnerabilities. |
| |
| Keywords: | |
| 本文献已被 CNKI SpringerLink 等数据库收录！ |
|
