Bayesian Reasoning for Automatic Security Mediation Placement

by Zichao Zhang
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.
Major: 
computer engineering
Exhibition Category: 
Engineering
Exhibition Format: 
Poster Presentation
Campus: 
University Park
Faculty Sponsor: 
Danfeng Zhang, Assistant Professor
Poster Number: 
304