Program slicing research based on MSV in software security field

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.