Home > Papers

 
 
Component Security Testing Approach Based on Extended Chemical Abstract Machine
Chen Jinfu 1 *,Yansheng Lu 2,Huanhuan Wang 3
1.School of Couputer Science and Telecommunation Engineering ,Jiangsu University
2.School of Computer Sci. and Tech.,Huazhong University of Science and Technology,Wuhan,Hubei,430074 ,China
3.School of Computer Science and Telecommunication Engineering Jiangsu University, Zhenjiang , Jiangsu, 212013,China
*Correspondence author
#Submitted by
Subject:
Funding: Senior Personnel Scientific Research Foundation of Jiangsu University（No.NO.90JDG047）, the Research Fund for the Doctoral Program of Higher Education of China（No.NO.20103227120005）, Natural Science Foundation of China （No.NO.61063013）
Opened online:14 October 2011
Accepted by: none
Citation: Chen Jinfu ,Yansheng Lu,Huanhuan Wang.Component Security Testing Approach Based on Extended Chemical Abstract Machine[OL]. [14 October 2011] http://en.paper.edu.cn/en_releasepaper/content/4444599
 
 
Unreliable component security hinders the development of component technology. Component security testing is rarely researched with comprehensive focus; several approaches or technologies for detecting vulnerabilities in component security have been proposed, but most are infeasible. A testing approach for component security, which is based on the chemical abstract machine, is proposed for detecting explicit and implicit component security vulnerabilities. We develop an extended chemical abstract machine model, called eCHAM, and generate a state transfer tree and testing sequence for components based on the proposed model. The model can help test the explicit security exceptions of components according to the testing approach of interface fault injection. Condition and state mutation algorithms for identifying implicit security exceptions are also proposed. Vulnerability testing reports are obtained according to the test results. Experiments were conducted in an integration testing platform to verify the applicability of the proposed approach. Results show that the approach is effective and practicable. The proposed approach can detect explicit and implicit security exceptions of components.
Keywords:Component security testing; Testing sequence; Chemical abstract machine; Condition mutation; State mutation
 
 
 

For this paper
  • ● PDF (0B)
  • ● Revision 0 　　
  • ● Print this paper
  • ● Recommend this paper to a friend
  • ● Add to my favorite list

    Saved Papers

    Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags
Add yours

Related Papers
  • Other similar papers

Statistics
PDF Downloaded 272
Bookmarked 0
Recommend 5
Comments Array
Submit your papers