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