Bayesian Reasoning for Automatic Security Mediation Placement

Security-typed languages use type systems to enable information-flow control and verify the satisfactory of security properties. Many programs exhibit behaviors that require security checks at runtime. Currently, the mediation statements are manually added. Automatic tools can relieve programmers' job by suggesting candidates for the locations where mediation statements can be placed. In this research project, we will apply Bayes' theorem in producing accurate security mediation placement suggestions.