Basic Security Automata