情報処理学会 第80回全国大会講演要旨

IoTシステムが普及している中、そのセキュリティ対策が重要な課題となっている。そうした中、従来セキュリティ対策が相対的に遅れていたエッジ側に対するセキュリティ対策の必要性も高まっている。
セキュリティに関わる検証については,アクセス制御に関するセキュリティポリシーから組織間のセキュリティルールを時相論理式(LTL式)に変換し、モデル検証を用いてセキュリティの検証を行う研究などがされている。本研究ではIoTデバイスに対するセキュリティガイドをLTL式に変換し、エッジ側のアクセス規制のセキュリティ検証を行う手法を提案する。