Temporal Aspects as Security Automata