Describir: Analýza vhodných stavových jazykov pre detekciu útokov