Takata Yoshiaki 高田喜朗

… Alternative Names

TAKATA Yoshiaki 高田喜郎

高田善朗タカタヨシアキ

Less

Researcher Number	60294279
Other IDs
External Links
Affiliation (Current)	2025: 高知工科大学, 情報学群, 教授
Affiliation (based on the past Project Information) *help	2024: 高知工科大学, 情報学群, 教授 2009 – 2010: 高知工科大学, 工学部, 准教授 2007 – 2008: Kochi University of Technology, FACULTY OF ENGINEEIG, ASSISTANT PROFESSOR 2000 – 2006: 奈良先端科学技術大学院大学, 情報科学研究科, 助手 2001: 奈良先端科学技術大学院大学, 情報科学研究科, 教授
Review Section/Research Field	Principal Investigator Software / Basic Section 60050:Software-related / 情報システム学(含情報図書館学) Except Principal Investigator Software / 計算機科学
Keywords	Principal Investigator モデル検査 / アクターモデル / 並行再帰プログラム / マルチスレッド / 形式言語理論 / 形式的検証 / プッシュダウンシステム / 形式モデル / 自動検証 / 静的解析 … More / 木オートマトン / アクセス制御 / XMLデータベース / XPath / 検証 / ガイドライン / アクセシビリティ / XML / 情報検索 / 文書ランキング / 検索目的 / 分類観点 / カテゴリ構造 / WWW / 対話的情報検索 / 文書検索 … More Except Principal Investigator アクセス制御 / 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 / ソフトウェア設計法 / 抽象的順序機械 / 代数的仕様 / タスク図 / プロトタイプ自動生成 / インタラクティブシステム / ユーザインタフェース / 情報流解 / 自動生成 / スタック検査 / 情報流解析 Less

Development of a model-checking method for actor-based multi-threaded recursive programsPrincipal Investigator
- Principal Investigator
  
  高田喜朗
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kochi University of Technology
Formal models for verifying multi-threaded recursive programsPrincipal Investigator
- Principal Investigator
  
  TAKATA Yoshiaki
- Project Period (FY)
  2009 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kochi University of Technology
Automatic Analys is and Generation Methods for Language-based Access Control
- Principal Investigator
  
  SEKI Hiroyuki
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nara Institute of Science and Technology
A tree automata-based efficient access control method for XML databasesPrincipal Investigator
- Principal Investigator
  
  TAKATA Yoshiaki
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kochi University of Technology
STUDY ONAUTOMATIC VERIFICATION OF HIGHLY RELIABLE SOFTWARE BYINFINITE STATE MODEL CHECKING
- Principal Investigator
  
  SEKI Hiroyuki
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nara Institute of Science and Technology
XML文書に対するガイドライン適合性自動検証法の開発Principal Investigator
- Principal Investigator
  
  高田喜朗
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Nara Institute of Science and Technology
FORMAL VERIFICATION METHOD OF ACTIVE SOFTWARE
- Principal Investigator
  
  SEKI Hiroyuki
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  NARA INSTITUTE OF SCIENCE AND TECHNOLOGY
Security Verification of Software with Dynamic Access Control
- Principal Investigator
  
  SEKI Hiroyuki
- Project Period (FY)
  2002 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  NARA INSTITUTE OF SCIENCE AND TECHNOLOGY
検索目的を反映したカテゴリ構造の構築によるWWW文書検索支援Principal Investigator
- Principal Investigator
  
  高田善朗 (高田喜朗)
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  情報システム学(含情報図書館学)
- Research Institution
  Nara Institute of Science and Technology
AN INTERACTIVE SYSTEM DESIGN METHOD BASED ON A FORMAL SPECIFICATION OF A USER TASK
- Principal Investigator
  
  SEKI Mhiroyuki
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  NARA INSTITUTE OF SCIENCE AND TECHNOLOGY

All 2010 2009 2008 2007 2006 Other

All Journal Article Presentation

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

1. SEKI Hiroyuki (80196948)

# of Collaborated Projects: 5 results

# of Collaborated Products: 45 results
2. NITTA Naoya (20346307)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Takata Yoshiaki 高田 喜朗

TAKATA Yoshiaki 高田 喜郎

高田 善朗 タカタ ヨシアキ

Research Projects

Research Products

Co-Researchers

Development of a model-checking method for actor-based multi-threaded recursive programsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Formal models for verifying multi-threaded recursive programsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automatic Analys is and Generation Methods for Language-based Access Control

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A tree automata-based efficient access control method for XML databasesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

STUDY ONAUTOMATIC VERIFICATION OF HIGHLY RELIABLE SOFTWARE BYINFINITE STATE MODEL CHECKING

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

XML文書に対するガイドライン適合性自動検証法の開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

FORMAL VERIFICATION METHOD OF ACTIVE SOFTWARE

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Security Verification of Software with Dynamic Access Control

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

検索目的を反映したカテゴリ構造の構築によるWWW文書検索支援Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

AN INTERACTIVE SYSTEM DESIGN METHOD BASED ON A FORMAL SPECIFICATION OF A USER TASK

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Automatic generation of history-based access control from information flow specification, Automated Technology for Verification and Analysis, ATVA 20102010

Author(s)

Journal Title

Data Source

[Journal Article] Automatic generation of history-based access control from information flow specification2010

Author(s)

Journal Title

Data Source

[Journal Article] Comparison of the Expressive Power of Language-based Access Control Models2009

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Comparison of the expressive power of language-based access control models2009

Takata Yoshiaki 高田喜朗

TAKATA Yoshiaki 高田喜郎

高田善朗タカタヨシアキ