Abstract non-interference: Parameterizing non-interference by abstract interpretation