Abstract Non-Interference: A unifying framework for weakening information flow