ステートマシンモデル

ステートマシンモデルとは、ひとことで言えば、システムを「状態」と「状態遷移」の集合として捉え、すべての状態が安全であれば全体として安全であるとみなすセキュリティモデルです。Bell-LaPadulaやBibaなど多くの古典的セキュリティモデルがこの考え方を基礎としています。各遷移が事前定義されたセキュリティポリシーに違反しないことを検証することで、システム全体の一貫した安全性を担保するアプローチです。