形式言語理論の観点から見たソフトウェアセキュリティ

ソフトウェアにおける脆弱性：セキュリティ上の弱点。（元々軍用だった）莫大な被害額があったり、サービスが停止する、個人情報が漏洩する、医療機器や自動運転などのバグによって、重大な事故につながる。

OWASP Top10(四年ごとの更新）

２暗号化の失敗

３[インジェクション]

標的の環境に外部の人が用意したコードを挿入する

「顧客情報が漏れる」などの被害が起こる

・正規表現について