%0 Journal Article
%T A Data Flow Behavior Constraints Model for Branch Decisionmaking Variables
%A Lu Yan
%A Wang Dan
%A Zhao Wen Bing
%J International Journal of Wireless and Microwave Technologies
%D 2012
%I MECS Publisher
%R 10.5815/ijwmt.2012.03.06
%X In order to detect the attacks to decision-making variable, this paper presents a data flow behavior constraint model for branch decision-making variables. Our model is expanded from the common control flow model, itemphasizes on the analysis and verification about the data flow for decision-making variables, so that to ensure the branch statement can execute correctly and can also detect the attack to branch decision-making variableeasily. The constraints of our model include the collection of variables, the statements that the decision-making variables are dependent on and the data flow constraint with the use-def relation of these variables. Our experimental results indicate that it is effective in detecting the attacks to branch decision-making variables as well as the attacks to control-data.
%K program behavior
%K branch decision-making variable
%K control flow
%K dependence relation
%U http://www.mecs-press.org/ijwmt/ijwmt-v2-n3/v2n3-6.html