Integrity for Interfaces and Lambda Expressions with Static Analysis (S)

This paper describes an extension to the Integrity Breach Conditions (IBCs) by introducing a set of IBCs for interfaces and lambda expressions in Java.This paper addresses the integrity breaches caused by exploitation of interfaces and lambda expressions, proposing the IBCs to detect the potential breaches.A prototype tool is developed to identify the security spots that might indicate integrity breaches in code.An online banking system is developed to validate our approach using the developed prototype tool.