Webサービスにおける安全性とセキュリティの解析

摘要

Webサービスでは安全性とセキュリティに注目が集まっている。 複数のWebサービスを組み合わるWeb サービスフローは分散協調システムであり、安全性は論理的·機能的な振舞いがデッドロックなどの不具合を起こさないことを要請する。 セキュリティは上位ポリシーに対しての正しさを扱う。 本稿はセキュリティラベル·ラティスを用いたセキュリティポリシー表現方法とモデル検査検証技術を用いたセキュリティ解析の方法を提案する。 モデル検査検証技術を用いる方法は安全性の検証で用いた方法を拡張するものである。 結果として、安全性とセキュリティを同じ枠組で解析できることとなる。