Zaslať SMS: Analýza vhodných stavových jazykov pre detekciu útokov