言語組込みアクセス制御の高信頼化に関する研究

2010 年度 研究成果報告書

• 研究課題/領域番号: 20500034
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 奈良先端科学技術大学院大学
• 研究代表者: 関 浩之 奈良先端科学技術大学院大学, 情報科学研究科, 教授 (80196948)
• 連携研究者: 高田 喜郎 高知工科大学, 工学部, 准教授 (60294279)
• 研究期間 (年度): 2008 – 2010
• キーワード: アクセス制御 / 情報流解析 / セキュリティ / 実行履歴 / スタック検査 / 自動生成 / 静的解析

研究概要

本研究ではまず,再帰プログラムPとセキュリティ仕様Sが与えられたとき,Sを満たすようにPにアクセス権検査文を埋め込む自動生成問題を定義した.そして,自動生成問題がco-NP困難であることを示した.次に,プッシュダウンシステム(PDS)モデル検査法を利用して自動生成問題を解くアルゴリズムを提案した.さらに提案アルゴリズムに基づく自動生成ツールを実装し,いくつかの例題について現実的な時間でアクセス権検査文の埋め込みが行えることを実証した

研究成果

• [雑誌論文] Comparison of the expressive power of language-based access control models (2009)
  • 著者名/発表者名: Yoshiaki Takata Hiroyuki Seki
  • 雑誌名: IEICES Transactions on Information and Systems E92-D(5) ページ: 1033-1036
  • 査読あり
• [雑誌論文] Formal language theoretic approach to the disclosure tree strategy in trust management (2009)
  • 著者名/発表者名: Yoshiaki Takata Hiroyuki Seki
  • 雑誌名: IEICE Transactions on Information adn Systems E92-D(2) ページ: 200-210
  • 査読あり
• [学会発表] Automatic generation of history-based access control from information flow specification (2010)
  • 著者名/発表者名: 高田喜朗, 関浩之
  • 学会等名: 8^<th> International Symposium on Automated Technology for Verification and Analysis, 259-275
  • 発表場所: Singapore, Lecture Notes in Computer Science 6252
  • 年月日: 2010-09-23
• [学会発表] 情報流仕様に基づくアクセス権検査文自動生成法 (2010)
  • 著者名/発表者名: 高田喜朗, 関浩之, 森田剛正
  • 学会等名: 日本ソフトウェア科学会第12回プログラミングおよびプログラミング論文集,161-175
  • 発表場所: 香川県多度郡琴平町
  • 年月日: 2010-03-04
• [学会発表] ソフトウェアの静的解析と動的検査-言語ベースセキュリティを例にして- (2009)
  • 著者名/発表者名: 関浩之
  • 学会等名: 情報処理学会組込みシステムシンポジウム2009
  • 発表場所: 東京
  • 年月日: 2009-10-21
• [学会発表] 情報流解析に基づくアクセス制御文の自動生成 (2009)
  • 著者名/発表者名: 森田剛正, 高田喜朗, 関浩之
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告SS2009-23
  • 発表場所: 北海道北見市
  • 年月日: 2009-08-07
• [学会発表] 情報流解析に基づくアクセス権検査文自動挿入法 (2009)
  • 著者名/発表者名: 高田喜朗, 森田剛正, 関浩之
  • 学会等名: 日本ソフトウェア科学会第7回ディワークショップ論文集,99-103
  • 発表場所: 北海道亀田郡七飯町
  • 年月日: 2009-07-15
• [学会発表] アクセス制御-言語ベースセキュリティをめざして- (2009)
  • 著者名/発表者名: 関浩之
  • 学会等名: 日本ソフトウェア科学会第7回ディ論文集,93-98
  • 発表場所: 北海道亀田郡七飯町
  • 年月日: 2009-07-15
• [学会発表] 情報流からの言語組み込みアクセス制御文の挿入 (2008)
  • 著者名/発表者名: 高田喜朗, 関浩之
  • 学会等名: 日本ソフトウェア科学会第6回ディペンダブルワークショップ論文集,141-143
  • 発表場所: 函館
  • 年月日: 2008-07-04