Automata-theory models in information securityдоклад на конференции