高田喜朗 Takata Yoshiaki

… 別表記

高田喜郎 TAKATA Yoshiaki

高田善朗タカタヨシアキ

研究者番号	60294279
その他のID
外部サイト
所属 (現在)	2025年度: 高知工科大学, 情報学群, 教授
所属 (過去の研究課題情報に基づく) *注記	2024年度: 高知工科大学, 情報学群, 教授 2009年度 – 2010年度: 高知工科大学, 工学部, 准教授 2007年度 – 2008年度: 高知工科大学, 工学部, 講師 2000年度 – 2006年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助手 2001年度: 奈良先端科学技術大学院大学, 情報科学研究科, 教授
審査区分/研究分野	研究代表者ソフトウエア / 小区分60050:ソフトウェア関連 / 情報システム学(含情報図書館学) 研究代表者以外ソフトウエア / 計算機科学
キーワード	研究代表者モデル検査 / アクターモデル / 並行再帰プログラム / マルチスレッド / 形式言語理論 / 形式的検証 / プッシュダウンシステム / 形式モデル / 自動検証 / 静的解析 … もっと見る / 木オートマトン / アクセス制御 / XMLデータベース / XPath / 検証 / ガイドライン / アクセシビリティ / XML / 情報検索 / 文書ランキング / 検索目的 / 分類観点 / カテゴリ構造 / WWW / 対話的情報検索 / 文書検索 … もっと見る研究代表者以外アクセス制御 / MODEL CHECKING / モデル検査 / FORMAL VERIFICATION / 形式的検証 / 静的解析 / 実行履歴 / セキュリティ / XML / FORMAL LANGUAGE / EXECUTION HISTORY / STATIC ANALYSIS / ACCESS CONTROL / 形式言語 / SECURITY / ソフトウェア学 / SECURITY POLICY / ACITVE SOFTWARE / セキュリティポリシー / アクティブソフトウェア / POLICY / VERIFICATION / SAFETY / ACESS CONTROL / ポリシー / 検証 / 安全性 / ABSTRACT SEQUENTIAL MACHINE / ALGEBRAIC SPECIFICATION / TASK DIAGRAM / PROTOTYPE GENERATION / INTERACTIVE SYSTEM / USER INTERFACE / ソフトウェア設計法 / 抽象的順序機械 / 代数的仕様 / タスク図 / プロトタイプ自動生成 / インタラクティブシステム / ユーザインタフェース / 情報流解 / 自動生成 / スタック検査 / 情報流解析隠す

アクターモデル型マルチスレッド再帰プログラムのモデル検査法の開発研究代表者
- 研究代表者
  
  高田喜朗
- 研究期間 (年度)
  2024 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  高知工科大学
マルチスレッド再帰プログラムの自動検証のための形式モデル研究代表者
- 研究代表者
  
  高田喜朗
- 研究期間 (年度)
  2009 – 2010
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  高知工科大学
言語組込みアクセス制御の高信頼化に関する研究
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  奈良先端科学技術大学院大学
XMLデータベースのための木オートマトンを用いた効率的アクセス制御法研究代表者
- 研究代表者
  
  高田喜朗
- 研究期間 (年度)
  2007 – 2008
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  高知工科大学
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  奈良先端科学技術大学院大学
XML文書に対するガイドライン適合性自動検証法の開発研究代表者
- 研究代表者
  
  高田喜朗
- 研究期間 (年度)
  2005 – 2006
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  奈良先端科学技術大学院大学
アクティブソフトウェアの設計検証手法に関する研究
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  奈良先端科学技術大学院大学
動的アクセス制御を行なうソフトウェアのセキュリティ検証に関する研究
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
検索目的を反映したカテゴリ構造の構築によるWWW文書検索支援研究代表者
- 研究代表者
  
  高田善朗 (高田喜朗)
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  情報システム学(含情報図書館学)
- 研究機関
  奈良先端科学技術大学院大学
ユーザタスクの形式的記述に基づくインタラクティブシステム設計法
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学

すべて 2010 2009 2008 2007 2006 その他

すべて雑誌論文学会発表

[雑誌論文] Automatic generation of history-based access control from information flow specification, Automated Technology for Verification and Analysis, ATVA 20102010
- 著者名/発表者名
  Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  Lecture Notes in Computer Science Vol.6252
  
  ページ: 259-275
- 査読あり
- データソース
  KAKENHI-PROJECT-21700045
[雑誌論文] Automatic generation of history-based access control from information flow specification2010
- 著者名/発表者名
  Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  8th International Symposium on Automated Technology for Verification and Analysis
  
  巻: LNCS 6252 ページ: 259-275
- 査読あり
- データソース
  KAKENHI-PROJECT-21700045
[雑誌論文] Comparison of the Expressive Power of Language-based Access Control Models2009
- 著者名/発表者名
  Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E92-D(5)(掲載決定)
- NAID
  10026809360
- 査読あり
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Comparison of the expressive power of language-based access control models2009
- 著者名/発表者名
  Yoshiaki Takata Hiroyuki Seki
- 雑誌名
  
  IEICES Transactions on Information and Systems E92-D(5)
  
  ページ: 1033-1036
- NAID
  10026809360
- 査読あり
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Formal language theoretic approach to the disclosure tree strategy in trust management2009
- 著者名/発表者名
  Yoshiaki Takata Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information adn Systems E92-D(2)
  
  ページ: 200-210
- 査読あり
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Comparison of the Expressive Power of Language-based Access Control Models2009
- 著者名/発表者名
  Yoshiaki Takata, Hirovuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E92-D(5)
  
  ページ: 1033-1036
- NAID
  10026809360
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Formal Language Theoret ic Approach to the Disclosure Tree Strategy in Trust Management2009
- 著者名/発表者名
  Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E92-D(2)
  
  ページ: 200-210
- 査読あり
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Comparison of the Expressive Power of Language-based Access Control Models2009
- 著者名/発表者名
  Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems Vol.E92-D
  
  ページ: 1033-1036
- NAID
  10026809360
- データソース
  KAKENHI-PROJECT-19700026
[雑誌論文] 実行履歴に基づくアクセス制御の形式モデルと検証2008
- 著者名/発表者名
  高田喜朗、王静、関浩之
- 雑誌名
  
  電子情報通信学会論文誌D J91-D(4)
  
  ページ: 847-858
- NAID
  110007381033
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] 実行履歴に基づくアクセス制御の形式モデルと検証2008
- 著者名/発表者名
  高田喜朗, 王静, 関浩之
- 雑誌名
  
  電子情報通信学会論文誌D J91-D(4)
  
  ページ: 847-858
- NAID
  110007381033
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Formal Model and Its Verification of History-based Access Control2008
- 著者名/発表者名
  Yoshiaki, Takata, Jing, Wang, Hiroyuki, Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems J91-D(4)
  
  ページ: 847-858
- NAID
  110007381033
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Labeled Transition Model A-LTS for History-based Aspect Weaving and Its Expressive Power2007
- 著者名/発表者名
  Isao Yagi, Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E90-D(5)
  
  ページ: 799-807
- NAID
  110007519523
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Computational Complexity of the Disclosure Tree Strategy in Trust Negotiation2007
- 著者名/発表者名
  Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  2007 International Conference on Next Era Information Networking(NEINE07)
  
  ページ: 323-328
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] HBACプログラムのモデル検査の情報フロー解析への応用2007
- 著者名/発表者名
  王, 伊藤, 高田, 関
- 雑誌名
  
  電子情報通信学会2007年総合大会 D-3-1 (CD-ROM)
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] 実行履歴に基づくアクセス制御モデルの表現能力の比較2007
- 著者名/発表者名
  王, 高田, 関
- 雑誌名
  
  日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ論文集
  
  ページ: 90-90
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Computational Complexity of the Disclosure Tree Strategy in Trust Negotiation2007
- 著者名/発表者名
  Yoshiaki, Takata, Hiroyuki, Seki
- 雑誌名
  
  2007 International Conference on Next Em Information Networking(NEINE07)
  
  ページ: 323-328
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析2007
- 著者名/発表者名
  王, 伊藤, 高田, 関
- 雑誌名
  
  電子情報通信学会技術研究報告 SS2006-72
  
  ページ: 7-12
- NAID
  110006239524
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Labeled Transition Model A-LTS for Histroy-based Aspect Weaving and Its Expressive Power2007
- 著者名/発表者名
  Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E90-D(5) (印刷中)
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Labeled Transition Model A-LTS for History-based Aspect Weaving and Its Expressive Power2007
- 著者名/発表者名
  Isao, Yagi, Yoshiaki, Takata, Hiroyuki, Seki
- 雑誌名
  
  MICE Transactions on Information and Systems E90-D(5)
  
  ページ: 799-807
- NAID
  110007519523
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Computational Complexity of the Disclosure Tree Strategy in Trust Negotiation2007
- 著者名/発表者名
  Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  2007 International Conference on Next Era Information Networking (NEINE07)
  
  ページ: 323-328
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] HBAC: A Model for History-based Access Control and Its Model Checking2006
- 著者名/発表者名
  Jing, Wang, Yoshiaki, Takata, Hiroyuki, Seki
- 雑誌名
  
  Lecture Notes in Computer Science(11th European Symposium On Research In Computer Security 4189
  
  ページ: 263-278
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] XML文書に対するアクセシビリティ・ガイドライン適合性検証2006
- 著者名/発表者名
  高田喜朗
- 雑誌名
  
  電子情報通信学会論文誌D J89-D(4)
- NAID
  110007380434
- データソース
  KAKENHI-PROJECT-17700034
[雑誌論文] HBAC: A Model for History-based Access Control and Its Model Checking2006
- 著者名/発表者名
  Jing Wang, Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  Lecture Notes in Computer Science (11th European Symposium On Research In Computer Security) 4189
  
  ページ: 263-278
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] XML文書に対するアクセシビリティガイドライン適合性検証2006
- 著者名/発表者名
  高田喜朗
- 雑誌名
  
  電子情報通信学会論文誌D J89-D(4)
  
  ページ: 705-715
- NAID
  110007380434
- データソース
  KAKENHI-PROJECT-17700034
[雑誌論文] HBAC : A Model for History-based Access Control and Its Model Checking2006
- 著者名/発表者名
  Jing Wang, Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  11th European Symposium on Research In Computer Security, Lecture Notes in Computer Science 4189
  
  ページ: 263-278
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法2010
- 著者名/発表者名
  高田喜朗
- 学会等名
  日本ソフトウェア科学会第12回プログラミングとプログラミング言語ワークショップ
- 発表場所
  香川県琴平温泉
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-21700045
[学会発表] Automatic generation of history-based access control from information flow specification2010
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  8^<th> International Symposium on Automated Technology for Verification and Analysis, 259-275
- 発表場所
  Singapore, Lecture Notes in Computer Science 6252
- 年月日
  2010-09-23
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法2010
- 著者名/発表者名
  高田喜朗, 関浩之, 森田剛正
- 学会等名
  日本ソフトウェア科学会第12回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  香川県仲多度郡琴平町
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動生成法2010
- 著者名/発表者名
  高田喜朗, 関浩之, 森田剛正
- 学会等名
  日本ソフトウェア科学会第12回プログラミングおよびプログラミング論文集,161-175
- 発表場所
  香川県多度郡琴平町
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法2010
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  日本ソフトウェア科学会第12回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  香川県仲多度郡琴平町
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-21700045
[学会発表] Automatic generation of history-based access control from information flow specification2010
- 著者名/発表者名
  Yoshiaki Takata, Hiroyuki Seki
- 学会等名
  8^<th> International Symposium on Automated Technology for Verification and Analysis
- 発表場所
  Singapore
- 年月日
  2010-09-23
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流解析に基づくアクセス権検査文自動挿入法2009
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  日本ソフトウェア科学会第7回ディワークショップ論文集,99-103
- 発表場所
  北海道亀田郡七飯町
- 年月日
  2009-07-15
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法2009
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  日本ソフトウェア科学会第11回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  高山
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流解析に基づくアクセス制御文の自動生成2009
- 著者名/発表者名
  森田剛正, 高田喜朗, 関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告SS2009-23
- 発表場所
  北海道北見市
- 年月日
  2009-08-07
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法2009
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  日本ソフトウェア科学会第7回ディペンダブルシステムワークショップ
- 発表場所
  北海道亀田郡七飯町
- 年月日
  2009-07-15
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス制御文の自動生成2009
- 著者名/発表者名
  森田剛正, 高田喜朗, 関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  北海道北見市
- 年月日
  2009-08-07
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 木オートマトンを用いたXML処理2008
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  電子情報通信学会技術研究報告SS2008-62
- 発表場所
  高知
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様からの言語組み込みアクセス制御文の自動挿入2008
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  日本ソフトウェア科学会第6回デイペンダブルシステムワークショツプ
- 発表場所
  函館
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流からの言語組み込みアクセス制御文の挿入2008
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  日本ソフトウェア科学会第6回ディペンダブルワークショップ論文集,141-143
- 発表場所
  函館
- 年月日
  2008-07-04
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様からの言語組み込みアクセス制御文の自動挿入2008
- 著者名/発表者名
  高田喜朗
- 学会等名
  日本ソフトウェア科学会第6回ディペンダブルシステムワークショップ
- 発表場所
  函館
- 年月日
  2008-07-04
- データソース
  KAKENHI-PROJECT-19700026
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法の検討2008
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  平成20年度電子情報通信学会関西支部大会B-07
- 発表場所
  京都
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析2007
- 著者名/発表者名
  王静, 伊藤信裕, 高田喜朗, 関浩之
- 学会等名
  電子情報通信学会技術研究報告SS2006-72
- 発表場所
  名古屋
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] モデル検査によるHBACプログラムの情報流解析2007
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  日本ソフトウェア科学会第5回ディペンダブルシステムワークショップ
- 発表場所
  函館
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] HBACプログラムのモデル検査の情報フロー解析への応用2007
- 著者名/発表者名
  王静, 伊藤信裕, 高田喜朗, 関浩之
- 学会等名
  電子情報通信学会2007年総合大会D-3-1
- 発表場所
  東京
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] 実行履歴に基づくアクセス制御モデルの表現能力の比較2007
- 著者名/発表者名
  王静, 高田喜朗, 関浩之
- 学会等名
  日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  加賀
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] モデル検査によるHBACプログラムの情報流解析2007
- 著者名/発表者名
  高田喜朗
- 学会等名
  日本ソフトウェア科学会第5回ディペンダブルシステムワークショップ
- 発表場所
  函館
- 年月日
  2007-07-02
- データソース
  KAKENHI-PROJECT-19700026
[学会発表] On Comparison of the Expressive Power of Access Control Models Based on Execution History2007
- 著者名/発表者名
  Jing, Wang, Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  The 9th JSSST Workshop on Programming and Programming Languages
- 発表場所
  Kaga
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] Comparison of the Expressive Power of Language-based Access Control Models2007
- 著者名/発表者名
  Hiroyuki Seki and Yoshiaki Takata
- 学会等名
  日本ソフトウェア科学会第5回ディペンダブルシステムワークショップ
- 発表場所
  函館
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] Information Flow Analysis Using Model Checking for Programs with History-based Access Control2007
- 著者名/発表者名
  Jing, Wang, Nobuhiro, Ito, Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  Technical Report of IEICE, SS2006-72
- 発表場所
  Nagoya
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] An Application of HBAC Model Checking to Information Flow Analysis2007
- 著者名/発表者名
  Jing, Wang, Nobuhiro, Ito, Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  IEICE General Conference
- 発表場所
  Tokyo
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] An Efficient Model Checking Method for Programs with History-based Access Control2006
- 著者名/発表者名
  Jing Wang, Yoshiaki Takata and Hiroyuki Seki
- 学会等名
  電子情報通信学会技術研究報告SS2006-38
- 発表場所
  札幌
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] An Efficient Model Checking Method for Programs with History-based Access Control2006
- 著者名/発表者名
  Jing, Wang, Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  Technical Report of IEICE, SS2006-38
- 発表場所
  Sapporo
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] Information Flow Analysis of HBAC Programs Using Model Checking
- 著者名/発表者名
  Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  The 5th JSSST Dependable System Workshop
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] Comparison of the Expressive Power of Language-based Access Control Models
- 著者名/発表者名
  Hiroyuki, Seki, Yoshiaki, Takata
- 学会等名
  The 5th JSSST Dependable System Workshop
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023

1. 関浩之 (80196948)

共同の研究課題数: 5件

共同の研究成果数: 45件
2. 新田直也 (20346307)

共同の研究課題数: 1件

共同の研究成果数: 0件

高田 喜朗 Takata Yoshiaki

高田 喜郎 TAKATA Yoshiaki

高田 善朗 タカタ ヨシアキ

研究課題

研究成果

共同研究者

アクターモデル型マルチスレッド再帰プログラムのモデル検査法の開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

マルチスレッド再帰プログラムの自動検証のための形式モデル研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

XMLデータベースのための木オートマトンを用いた効率的アクセス制御法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

XML文書に対するガイドライン適合性自動検証法の開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

アクティブソフトウェアの設計検証手法に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

動的アクセス制御を行なうソフトウェアのセキュリティ検証に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

検索目的を反映したカテゴリ構造の構築によるWWW文書検索支援研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ユーザタスクの形式的記述に基づくインタラクティブシステム設計法

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Automatic generation of history-based access control from information flow specification, Automated Technology for Verification and Analysis, ATVA 20102010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Automatic generation of history-based access control from information flow specification2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Comparison of the Expressive Power of Language-based Access Control Models2009

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Comparison of the expressive power of language-based access control models2009

高田喜朗 Takata Yoshiaki

高田喜郎 TAKATA Yoshiaki

高田善朗タカタヨシアキ