Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation