Title :
Program slicing research based on MSV in software security field
Author :
Zhonglin Zhang ; MuYu Lin
Author_Institution :
Sch. of Electron. & Inf. Eng., Lanzhou Jiaotong Univ., Lanzhou, China
Abstract :
By proposing a new idea of use of program slicing techniques to determine the independence of the critical safety variables. Mainly to solve the independence of critical security components within a class of critical safety variables be judged is not accurate, complex issues. This idea can intuitive and accurate calculation of the member variable for the category of a variable that is specific criticality safety program slicing statement that through MSV diagram, which also can analysis of critical variables to achieve the safety purpose of the independence.
Keywords :
diagrams; object-oriented programming; program slicing; safety-critical software; security of data; MSV diagram; critical safety variables; critical security components; program slicing research; program slicing techniques; software security field; specific criticality safety program slicing statement; Accuracy; Algorithm design and analysis; Educational institutions; Safety; Security; Software; Software engineering; MSV diagram; Program slicing; critical safety variable;
Conference_Titel :
Computer Science & Education (ICCSE), 2011 6th International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4244-9717-1
DOI :
10.1109/ICCSE.2011.6028828