Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata