SEKI Hiroyuki 関浩之

… Alternative Names

関浩之セキヒロユキ

Less

Researcher Number	80196948
Other IDs
External Links
Affiliation (Current)	2025: 武庫川女子大学, 社会情報学部, 教授
Affiliation (based on the past Project Information) *help	2017 – 2025: 名古屋大学, 情報学研究科, 教授 2012 – 2016: 名古屋大学, 情報科学研究科, 教授 2000 – 2012: 奈良先端科学技術大学院大学, 情報科学研究科, 教授 1997 – 1998: 奈良先端科学技術大学院大学, 情報科学研究科, 教授 1994 – 1995: 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 … More 1993: 大阪大学, 基礎工学部, 助教授 1990 – 1991: 大阪大学, 基礎工学部, 講師 1987 – 1988: 大阪大学, 基礎工学部, 助手 Less
Review Section/Research Field	Principal Investigator 計算機科学 / Software / Basic Section 60050:Software-related / Software / Bioinformatics/Life informatics Except Principal Investigator 計算機工学 / 情報工学 / Basic Section 60050:Software-related / Medium-sized Section 60:Information science, computer engineering, and related fields / Software / Software / Informatics
Keywords	Principal Investigator セキュリティ / XML / モデル検査 / アクセス制御 / 形式言語理論 / MODEL CHECKING / FORMAL VERIFICATION / 形式的検証 / 静的解析 / 実行履歴 … More / 木オートマトン / 形式言語 / プログラム自動合成 / レジスタオートマトン / FORMAL LANGUAGE / EXECUTION HISTORY / STATIC ANALYSIS / ACCESS CONTROL / SECURITY / プライバシー / 量的情報流 / 木文法 / 圧縮 / 木変換器 / 情報保存性 / ソフトウェア検証 / データベース / 計算複雑さ / 形式文法 / 構文解析 / 代数的仕様 / あいまいさ階層 / 対話的学習 / 重み付き計算モデル / プログラム自動生成 / レジスタ計算モデル / プライバシー保護 / 計算論的ゲーム構造 / プログラム合成 / mu-計算 / 重み付き文脈自由文法 / アクティブ学習 / ゲーム構造 / 線形時相論理 / XPath / 直線的文脈木文法 / 有向グラフ / 文脈自由文法 / トップ木 / 自動解析 / ソフトウェア解析 / 動的情報漏洩量 / プログラムセキュリティ / レジスタ文脈自由文法 / SMTソルバ / マルウェア解析 / 文法圧縮 / ソフトウェア学 / SECURITY POLICY / ACITVE SOFTWARE / セキュリティポリシー / アクティブソフトウェア / POLICY / VERIFICATION / SAFETY / ACESS CONTROL / ポリシー / 検証 / 安全性 / ABSTRACT SEQUENTIAL MACHINE / ALGEBRAIC SPECIFICATION / TASK DIAGRAM / PROTOTYPE GENERATION / INTERACTIVE SYSTEM / USER INTERFACE / ソフトウェア設計法 / 抽象的順序機械 / タスク図 / プロトタイプ自動生成 / インタラクティブシステム / ユーザインタフェース / 情報理論 / タイミング攻撃 / 隠れマルコフモデル / SAT / SMT / 差分プライバシー / 時間攻撃 / XMLデータベース / k-安全性 / RNA２次構造 / 最適化 / 機械学習 / RNA構造アラインメント / RNA間相互作用 / RNA2次構造 / RNA-タンパク質相互作用 / バイオインフォマティクス / 頂点問合せ / 情報流解 / 自動生成 / スタック検査 / 情報流解析 / 問合せ言語 / ホーン節 / 論理型言語 / 系列データモデル / World Wide Web / カテゴリ構造 / 情報検索 / 文書データベース / アクセス権 / 型検査 / オブジェクト指向データベース / オートマトン / ソフトウェア工学 / 通信プロトコル / 順序機械 / 構文規則 / 自然言語 … More Except Principal Investigator 並行計算モデル / 代数的仕様記述 / OSIセションプロトコル / 不変式 / プロトコル機械 / 通信プロトコルの検証 / SMTソルバー / Assume-Gurantee / 時間付並行逆計算 / 到達可能性解析 / 分割検証 / アクティブ学習アルゴリズム / イベントクロックオートマトン / 拡張有限状態オートマトン / Assume-Gurantee検証 / 頑健性 / アクティブ学習 / 深層学習 / 形式仕様自動抽出 / 形式的意味自動抽出 / マルウェア意味解析 / ネィティブコード / API / 記号実行 / マルウェア解析 / プライバシー / RE-DOS攻撃 / 自然言語処理 / マルウェア / バイナリコード / 命令セット / 動的記号実行 / 逆計算 / ソフトウェアデバッグ / ソフトウエア学 / 実時間性 / 計算モデル / 並行プログラミング言語 / 離散時間モデル / デバッグモデル / 並行計算 / 因果無矛盾性 / 構造操作意味規則 / バックトラック逆計算 / 逆計算モデル / 通信プロセスモデル / プログラミング言語 / 通信プロセス計算 / 実時間プログラム / 逆方向計算 / 逆方向デバッグ技法 / 可逆抽象機械 / 可逆計算実行環境 / 可逆デバッガ / 可逆実行環境 / 並行プログラム / 可逆計算 / 抽象的順序機械 / プロトコル仕様 / システム間相互接続(OSI) / プログラム仕様の詳細化(実現) / 抽象的データタイプ / 自然語の意味定義 / プログラム仕様 / 充足性判定 / 多項式制約 / SMTソルバ / 数式処理 / 制約解消 / 仕様検証 / 仕様記述 / ソフトウェア / エキスパ-トシステム / 会計原則 / プロトコルの安全性 / 拡張有限状態機械 / (プロトコル機械の)分解,縮退 / Eventuality / 有限状態の順序機械 Less

グラフゲームにおける合理性に基づく検証と自動合成の統一的解決法に関する研究Principal Investigator
- Principal Investigator
  
  関浩之
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用Principal Investigator
- Principal Investigator
  
  関浩之
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
A design of automaton network with data and time based on a compositional active learning
- Principal Investigator
  
  結縁祥治
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
Understanding malware semantics by AI-supported formal methods
- Principal Investigator
  
  小川瑞史
- Project Period (FY)
  2020 – 2025
- Research Category
  
  Grant-in-Aid for Challenging Research (Pioneering)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Japan Advanced Institute of Science and Technology
Quantitative extension of formal models and its application to software analysisPrincipal Investigator
- Principal Investigator
  
  Seki Hiroyuki
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
A reversible debugging model for real-time concurrent programs
- Principal Investigator
  
  YUEN SHOJI
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University
Static Analysis and Dynamic Monitoring Methods for Software Security and PrivacyPrincipal Investigator
- Principal Investigator
  
  Seki Hiroyuki
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University
Formal models for quantitative analysis of software securityPrincipal Investigator
- Principal Investigator
  
  Seki Hiroyuki
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  Nagoya University
Optimization of polynomial constraint solving based on fusion of approximation and algebraix methods
- Principal Investigator
  
  MIZUHITO Ogawa
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Software Analysis based on Formaly Language Theory and Its Application to Security VerificationPrincipal Investigator
- Principal Investigator
  
  Seki Hiroyuki
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University
  Nara Institute of Science and Technology
RNA-protein interaction prediction based on machine learning and optimizationPrincipal Investigator
- Principal Investigator
  
  SEKI Hiroyuki
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Bioinformatics/Life informatics
- Research Institution
  Nara Institute of Science and Technology
Automatic Analys is and Generation Methods for Language-based Access ControlPrincipal Investigator
- 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
STUDY ONAUTOMATIC VERIFICATION OF HIGHLY RELIABLE SOFTWARE BYINFINITE STATE MODEL CHECKINGPrincipal Investigator
- 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
FORMAL VERIFICATION METHOD OF ACTIVE SOFTWAREPrincipal Investigator
- 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 ControlPrincipal Investigator
- 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
AN INTERACTIVE SYSTEM DESIGN METHOD BASED ON A FORMAL SPECIFICATION OF A USER TASKPrincipal Investigator
- 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
文書データベースにおける演繹的問合せ言語の設計Principal Investigator
- Principal Investigator
  
  関浩之
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Nara Institute of Science and Technology
オブジェクト指向データベースプログラムの型検査法とアクセス制御への応用Principal Investigator
- Principal Investigator
  
  関浩之
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Nara Institute of Science and Technology
制約指向型形式文法に対する構文解析法に関する研究Principal Investigator
- Principal Investigator
  
  関浩之
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Nara Institute of Science and Technology
自然言語で書かれたソフトウェア仕様書解析のための統合環境の開発Principal Investigator
- Principal Investigator
  
  関浩之
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
通信プロトコルの検証法の検討とその検証支援システムの製作
- Principal Investigator
  
  藤井護
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報工学
- Research Institution
  Osaka University
会計知識の代数的仕様記述と専門家システム構築に関する研究
- Principal Investigator
  
  森將豪
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Shiga University
動作系列集合による通信プロトコルの代数的仕様から状態遷移機械への変換
- Principal Investigator
  
  藤井護
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報工学
- Research Institution
  Osaka University
OSIセション層の代数的仕様記述から
- Principal Investigator
  
  藤井護
- Project Period (FY)
  1988
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Osaka University
プログラム仕様記述に用いる自然語の形式的意味定義と処理系に関する研究
- Principal Investigator
  
  嵩忠雄
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Osaka University

[Journal Article] Pumping Lemmas for Languages Expressed by Computational Models with Registers2023
- Author(s)
  Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E106.D Issue: 3 Pages: 284-293
- DOI
  10.1587/transinf.2022FCP0004
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2023-03-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K24824
[Journal Article] A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata2023
- Author(s)
  Yoshiaki Takata, Akira Onishi, Ryoma Senda and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E106.D Issue: 3 Pages: 294-302
- DOI
  10.1587/transinf.2022FCP0003
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2023-03-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K24824
[Journal Article] Weighted Multiple Context-Free Grammars2023
- Author(s)
  INOUE Yusuke, HASHIMOTO Kenji, SEKI Hiroyuki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E106.D Issue: 3 Pages: 309-318
- DOI
  10.1587/transinf.2022FCP0006
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2023-03-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23KJ1127, KAKENHI-PROJECT-23K24824
[Journal Article] A Game-Theoretic Approach to Indistinguishability of Winning Objectives as?User Privacy2023
- Author(s)
  Nakanishi Rindo、Takata Yoshiaki、Seki Hiroyuki
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 14446 Pages: 36-54
- DOI
  10.1007/978-3-031-47963-2_4
- ISBN
  9783031479625, 9783031479632
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K21654
[Journal Article] An Ambiguity Hierarchy of Weighted Context-Free Grammars2022
- Author(s)
  Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  26th International Conference on Implementation and Application of Automata (CIAA 2022)
  
  Volume: LNCS 13266 Pages: 238-250
- DOI
  10.1007/978-3-031-07469-1_19
- ISBN
  9783031074684, 9783031074691
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K24824
[Journal Article] Complexity results on register context-free grammars and related formalisms2022
- Author(s)
  Senda Ryoma、Takata Yoshiaki、Seki Hiroyuki
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 923 Pages: 99-125
- DOI
  10.1016/j.tcs.2022.04.055
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K20625, KAKENHI-PROJECT-19H04083
[Journal Article] Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking2022
- Author(s)
  TAKATA Yoshiaki、SENDA Ryoma、SEKI Hiroyuki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E105.D Issue: 9 Pages: 1620-1623
- DOI
  10.1587/transinf.2022EDL8030
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2022-09-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K20625, KAKENHI-PROJECT-19H04083
[Journal Article] Active Learning for Deterministic Bottom-Up Nominal Tree Automata2022
- Author(s)
  Nakanishi Rindo、Takata Yoshiaki、Seki Hiroyuki
- Journal Title
  
  ICTAC 2022, Lecture Notes in Computer Science
  
  Volume: 13572 Pages: 342-359
- DOI
  10.1007/978-3-031-17715-6_22
- ISBN
  9783031177149, 9783031177156
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K21654, KAKENHI-PROJECT-23K24824
[Journal Article] LTL Model Checking for Register Pushdown Systems2021
- Author(s)
  SENDA Ryoma、TAKATA Yoshiaki、SEKI Hiroyuki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E104.D Issue: 12 Pages: 2131-2144
- DOI
  10.1587/transinf.2020EDP7265
- NAID
  130008123331
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2021-12-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21J14332, KAKENHI-PROJECT-19H04083, KAKENHI-PROJECT-23K21654
[Journal Article] Optimal run problem for weighted register automata2021
- Author(s)
  Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 850 Pages: 185-201
- DOI
  10.1016/j.tcs.2020.11.003
- NAID
  120007145968
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04083
[Journal Article] Reactive synthesis from visibly register pushdown automata2021
- Author(s)
  SENDA Ryoma, TAKATA Yoshiaki, SEKI Hiroyuki
- Journal Title
  
  Theoretical Aspects of Computing, 18th International Colloquium (ICTAC 2021)
  
  Volume: LNCS 12819 Pages: 334-353
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04083
[Journal Article] Forward Regularity Preservation Property of Register Pushdown Systems2021
- Author(s)
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E104.D Issue: 3 Pages: 370-380
- DOI
  10.1587/transinf.2020FCP0008
- NAID
  130007993135
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2021-03-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04083
[Journal Article] Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT2020
- Author(s)
  Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
- Journal Title
  
  Journal of Information Processing
  
  Volume: 28 Issue: 0 Pages: 124-135
- DOI
  10.2197/ipsjjip.28.124
- NAID
  130007798629
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K19969, KAKENHI-PROJECT-17H01722
[Journal Article] Reachability of Patterned Conditional Pushdown Systems2020
- Author(s)
  Li Xin、Gardy Patrick、Deng Yu-Xin、Seki Hiroyuki
- Journal Title
  
  Journal of Computer Science and Technology
  
  Volume: 35 Issue: 6 Pages: 1295-1311
- DOI
  10.1007/s11390-020-0541-z
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20625, KAKENHI-PROJECT-19H04083
[Journal Article] Generalized Register Context-Free Grammars2020
- Author(s)
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E103.D Issue: 3 Pages: 540-548
- DOI
  10.1587/transinf.2019FCP0010
- NAID
  130007804170
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2020-03-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04083
[Journal Article] Complexity Results on Register Pushdown Automata2019
- Author(s)
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- Journal Title
  
  3rd Workshop on Software Foundations for Data Interoperability
  
  Volume: - Pages: 1-5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04083
[Journal Article] Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query2019
- Author(s)
  Takeda Takeshi、Hashimoto Kenji、Seki Hiroyuki
- Journal Title
  
  International Conference on Computer and Communication Systems
  
  Volume: 4 Pages: 257-262
- DOI
  10.1109/ccoms.2019.8821730
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01722
[Journal Article] Optimal Run Problem for Weighted Register Automata2019
- Author(s)
  Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
- Journal Title
  
  16th International Colloquium on Theoretical Aspects of Computing
  
  Volume: LNCS 11884 Pages: 91-110
- NAID
  120007145968
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04083
[Journal Article] On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem2019
- Author(s)
  Bao Trung Chu, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  13th International Conference on Emerging Security Information, Systems and Technologies
  
  Volume: - Pages: 1-8
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04083
[Journal Article] Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -2019
- Author(s)
  Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E102.D Issue: 10 Pages: 1952-1965
- DOI
  10.1587/transinf.2019EDP7132
- NAID
  130007722186
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2019-10-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00098, KAKENHI-PROJECT-19H04083
[Journal Article] Counting Algorithms for Recognizable and Algebraic Series2018
- Author(s)
  Trung CHU Bao, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E101.D Issue: 6 Pages: 1479-1490
- DOI
  10.1587/transinf.2017FOP0003
- NAID
  130007382455
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2018-06-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540025
[Journal Article] Direct Update of XML Documents with Data Values Compressed by Tree Grammars2018
- Author(s)
  Kenji Hashimoto, Ryunosuke Takayama and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E101.D Issue: 6 Pages: 1467-1478
- DOI
  10.1587/transinf.2017FOP0002
- NAID
  130007382456
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2018-06-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02684, KAKENHI-PROJECT-17H01722
[Journal Article] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers2016
- Author(s)
  Kenji Hashimoto, Ryuta Swada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E99-D Pages: 575-587
- NAID
  130005131811
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300008
[Journal Article] Query Rewriting for Nondeterministic Tree Transducers2016
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E99-D(6) Pages: 1410-1419
- NAID
  130005154738
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H02684
[Journal Article] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E89-D(3) Pages: 512-523
- NAID
  110009642350
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300008
[Journal Article] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2013
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
- Journal Title
  
  Electric Proceedings in Theoretical Computer Science
  
  Volume: 137 Pages: 27-37
- DOI
  10.4204/eptcs.134.4
- NAID
  130004841871
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300005
[Journal Article] Deciding Schema k-Secrecy for XML Databases2013
- Author(s)
  Chittaphone Phonharath, Kenji Hashimoto, and Hiroyuki Seki
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E96-D Pages: 1268-1277
- NAID
  10031193987
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300005
[Journal Article] Deciding Schema k-Secrecy for XML Databases2013
- Author(s)
  4. Chittaphone Phonharath, Kenji Hashimoto, and Hiroyuki Seki
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E96-D(6) Pages: 1268-1277
- NAID
  10031193987
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300008
[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, 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] 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] 実行履歴に基づくアクセス制御の形式モデルと検証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] Languages Modulo Normalization2007
- Author(s)
  Hitoshi Ohsaki and Hiroyuki Seki
- Journal Title
  
  Lecture Notes in Artificial Intelligence (FroCos07) 4720
  
  Pages: 221-236
- Description
  「研究成果報告書概要(和文)」より
- 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] 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析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 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] A Grammatical Approach to RNA-RNA Interaction Prediction2007
- Author(s)
  Yuki, Kato, Tatsuya, Akutsu, Hiroyuki, Seki
- Journal Title
  
  2007 International Symposium on Computational Models for Life Sciences(CMLS'07)
  
  Pages: 197-206
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500023
[Journal Article] A Grammatical Approach to RNA-RNA Interaction Prediction2007
- Author(s)
  Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
- Journal Title
  
  2007 International Symposium on Computational Models for Life Sciences (CMLS'07)
  
  Pages: 197-206
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- 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] 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] Languages Modulo Normalization2007
- Author(s)
  Hitoshi, Ohsaki, Hiroyuki, Seki
- Journal Title
  
  Lecture Notes in Artificial Intelligence(FroCos07) 4720
  
  Pages: 221-236
- 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] 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] Languages Modulo Normalization2007
- Author(s)
  Hitoshi Ohsaki and Hiroyuki Seki
- Journal Title
  
  Lecture Notes in Artificial Intelligence(FroCos07) 4720
  
  Pages: 221-236
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500023
[Journal Article] A Grammatical Approach to RNA-RNA Interaction Prediction2007
- Author(s)
  Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
- Journal Title
  
  2007 International Symposium on Computational Models for Life Sciences(CMLS'07)
  
  Pages: 197-206
- 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 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] 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
[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] A Formal Model for Access Control Based on Execution History2005
- Author(s)
  Hiroyuki Seki, et al.
- Journal Title
  
  第4回クリティカル・ソフトウェアワークショップ予稿集
  
  Pages: 63-67
- NAID
  10015556971
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16500019
[Journal Article] A Formal Model for Access Control Based on Execution History2005
- Author(s)
  H.Seki, et al.
- Journal Title
  
  第4回クリティカル・ソフトウェアワークショップ予稿集
  
  Pages: 63-67
- NAID
  10015556971
- Data Source
  KAKENHI-PROJECT-16500019
[Journal Article] A Formal Model for Access Control Based on Execution History2005
- Author(s)
  H.Seki, et al.
- Journal Title
  
  4^<th> Workshop of Critical Software
  
  Pages: 63-67
- NAID
  10015556971
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16500019
[Presentation] Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.2024
- Author(s)
  Fuga Kawamata, Taro Sekiyama, Hiroshi Unno, Tachio Terauchi
- Organizer
  51st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20625
[Presentation] A Game-theoretic Approach to Indistinguishability of Winning Objectives as User Privacy,2023
- Author(s)
  Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
- Organizer
  20th International Colloquium on Theoretical Aspects of Computing (ICTAC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20625
[Presentation] データ木書換え系の正則保存性 -線形単項標準形に分解可能なクラス-2023
- Author(s)
  坂尾優斗，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2022-62），電子情報通信学会技術研究報告 Vol.122, No.432, pp.91-96
- Data Source
  KAKENHI-PROJECT-23K24824
[Presentation] An Ambiguity Hierarchy of Weighted Context-Free Grammars2023
- Author(s)
  Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), カテゴリ2
- Data Source
  KAKENHI-PROJECT-23K24824
[Presentation] Pumping Lemmas for Languages Expressed by Computational Models with Registers2022
- Author(s)
  中西凜道，高田喜朗，関浩之
- Organizer
  冬のLAシンポジウム（講演番号16）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] データ語書換え系の正則保存性とそのプロトコル検証への応用2022
- Author(s)
  坂尾優斗，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2021-46）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] 重み付き文脈自由文法の曖昧さ階層について2022
- Author(s)
  井上裕介，橋本健二，関浩之
- Organizer
  電子情報通信学会コンピュテーション研究会（講演番号：COMP2021-31）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] Active Learning for Deterministic Bottom-up Nominal Tree Automata2022
- Author(s)
  Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
- Organizer
  19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022), LNCS 13572, pp.342-359
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K20625
[Presentation] 確率的ゲームにおける非協調的合成問題2022
- Author(s)
  小出走，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2022-23），電子情報通信学会技術研究報告 Vol.122, No.225, pp.10-15
- Data Source
  KAKENHI-PROJECT-23K24824
[Presentation] 確率的Mullerゲームにおける非協調的合成問題2022
- Author(s)
  小出走，関浩之
- Organizer
  組合せゲーム・パズルプロジェクト第16回研究集会（講演番号：16）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] 重み付き文脈自由文法の曖昧さ階層について2022
- Author(s)
  井上裕介，橋本健二，関浩之
- Organizer
  夏のLAシンポジウム，講演番号6
- Data Source
  KAKENHI-PROJECT-23K24824
[Presentation] Active Learning for Deterministic Bottom-up Nominal Tree Automata2022
- Author(s)
  Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2022-24），電子情報通信学会技術研究報告 Vol.122, No.225, pp.16-21
- Data Source
  KAKENHI-PROJECT-23K24824
[Presentation] 重み付き多重文脈自由文法とその性質について2021
- Author(s)
  井上裕介，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2020-28）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス2021
- Author(s)
  大西晃，仙田涼摩，高田喜朗，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2021-17）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] レジスタをもつ計算モデルの表現する言語に対するポンプの補題2021
- Author(s)
  中西凜道，仙田涼摩，高田喜朗，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2020-26）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] Reactive Synthesis from Visibly Register Pushdown Automata2021
- Author(s)
  Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
- Organizer
  18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), Springer LNCS 12819, pp.334-353
- Data Source
  KAKENHI-PROJECT-20K20625
[Presentation] レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス2021
- Author(s)
  大西晃，仙田涼摩，高田喜朗，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2020-29）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] モデル計数に基づく動的QIF解析法の提案と評価2020
- Author(s)
  福田大地，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2019-33）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] On the Regularity Preservation Property of Register Pushdown Systems2020
- Author(s)
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- Organizer
  2019 冬のLAシンポジウム
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] LTL Model Checking for Register Pushdown Systems2020
- Author(s)
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2020-6）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] 動的情報漏洩量の解析および適応的制御入力最適化2019
- Author(s)
  三輪竜矢，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2018-68）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 重み付きレジスタオートマトンの最小重み実行問題2019
- Author(s)
  吉村玲勇，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2018-37）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] Generalized Register Context-Free Grammars2019
- Author(s)
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- Organizer
  13th International Conference on Language and Automata Theory and Applications (LATA 2019), Sankt Petersburg, LNCS 11417, 259-271
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] Computing Optimal Weight in Weighted Register Automata and Related Decision Problems2019
- Author(s)
  Reo Yoshimura, Yoshiaki Takata and Hiroyuki Seki
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2019-16）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query2019
- Author(s)
  Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS 2019), CD104, 257-261
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query,2019
- Author(s)
  Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01722
[Presentation] Complexity Results on Register Context-Free Grammars and Register Tree Automata2018
- Author(s)
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- Organizer
  15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018), Stellenbosch, LNCS 11187, 415-434
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案2018
- Author(s)
  武田健志,橋本健二,関浩之
- Organizer
  第10回データ工学と情報マネジメントに関するフォーラム（DEIM 2018）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 非決定性選択木オートマトンの決定化2018
- Author(s)
  川本将也,橋本健二,関浩之
- Organizer
  情報処理学会第117回プログラミング研究会（講演番号：2017-4-(2)）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法2017
- Author(s)
  武田健志,橋本健二,関浩之
- Organizer
  電子通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-1）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] モデル計数を用いた量的情報流解析のための論理式簡約と静的解析2017
- Author(s)
  中島聖斗，橋本健二，酒井正彦，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-61）
- Place of Presentation
  那覇市，てんぷす那覇
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換2017
- Author(s)
  川本将也，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-54）
- Place of Presentation
  京都市，京都工芸繊維大学
- Year and Date
  2017-01-26
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] Counting for Recognizable and Algebraic Series2017
- Author(s)
  Hiroyuki Seki, Kenji Hashimoto and Trug Chu Bao
- Organizer
  情報処理学会第113回プログラミング研究会
- Place of Presentation
  東京都，東京大学
- Year and Date
  2017-03-03
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] 木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法2017
- Author(s)
  高山隆之介，橋本健二，関浩之
- Organizer
  第9回データ工学と情報マネジメントに関するフォーラム（DEIM 2017）
- Place of Presentation
  那覇市，てんぷす那覇
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] トップ木に基づく圧縮データに対する直接更新法2017
- Author(s)
  西村卓, 橋本健二,関浩之
- Organizer
  電子通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-22）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] トップ木に基づく木圧縮法の実装と問合せ処理法の提案2016
- Author(s)
  西村卓，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-10）
- Place of Presentation
  札幌市，北海道立道民活動センター
- Year and Date
  2016-07-13
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法2016
- Author(s)
  高山隆之介，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-27）
- Place of Presentation
  彦根市，彦根勤労福祉会館
- Year and Date
  2016-10-27
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] On the query preservation for nondeterministic tree transducers2016
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 非決定性木変換器における問合せ保存2016
- Author(s)
  宮原一喜，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2015-79）
- Place of Presentation
  沖縄県宮古青少年の家
- Year and Date
  2016-03-10
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] ①Direct Evaluation of Selecting Tree Automata on XML Documents Compressed with Top Trees2016
- Author(s)
  Kenji Hashimoto, Suguru Nishimura and Hiroyuki Seki
- Organizer
  4th International Workshop on Trends in Tree Automata and Tree Transducers
- Place of Presentation
  Seoul, South Korea
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化2016
- Author(s)
  浅井孝俊，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  金沢市
- Year and Date
  2016-01-25
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] 圧縮構造化文書のための更新手法の拡張とその実験的評価2016
- Author(s)
  後藤健志，高山隆之介，橋本健二，関浩之
- Organizer
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（講演番号：LOIS2015-75）
- Place of Presentation
  沖縄県宮古島市役所中央公民館
- Year and Date
  2016-03-03
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] #SMTツールを用いた量的情報流解析手法の高速化2016
- Author(s)
  中島聖斗，Trung Chu Bao, 橋本健二，酒井正彦，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-26）
- Place of Presentation
  彦根市，彦根勤労福祉会館
- Year and Date
  2016-10-27
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] ②Automating Time Series Safety Analysis for Automotive Control Systems in STPA using Weighted Partial Max-SMT2016
- Author(s)
  S. Sato, S. Hattori, H. Seki, Y. Inamori and S. Yuen
- Organizer
  5th International Workshop on Formal Techniques for Safety-Critical Systems
- Place of Presentation
  Tokyo, Japan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] OSS開発におけるパッチの特徴量を用いた再投稿要求の予測2016
- Author(s)
  安藤聡志，伊原彰紀，関浩之，平尾俊貴，則兼卓人，松本健一
- Organizer
  情報処理学会第194回ソフトウェア工学研究会
- Place of Presentation
  岐阜市，長良川国際会議場
- Year and Date
  2016-11-17
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 拡張線形ボトムアップ木変換器の関数性の多項式時間判定2015
- Author(s)
  石原鷹, 橋本健二, 関浩之, 酒井正彦
- Organizer
  第104回情報処理学会・プログラミング研究会
- Place of Presentation
  富山市
- Year and Date
  2015-06-04
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Automated Hazard Analysis with pMAX-SMT for Automobile Syst2015
- Author(s)
  Shogo Hattori, Shoji Yuen, Hiroyuki Seki and Shuichi Sato
- Organizer
  15th International Workshop on Automated Verification of Critical Systems
- Place of Presentation
  Edinburgh, U.K.
- Year and Date
  2015-09-02
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] Query-based l-diversity2015
- Author(s)
  Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  7th International Conference on Advances in Databases, Knowledge, and Data Applications
- Place of Presentation
  Roma, Italy
- Year and Date
  2015-05-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Query-based l-diversity2015
- Author(s)
  Chittaphone Phonharath, Ryunosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  熊本市
- Year and Date
  2015-05-12
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] RSA暗号の高速化手法に対するタイミング攻撃の情報理論的安全性評価2015
- Author(s)
  小林靖幸，楫勇一，関浩之，伊藤実
- Organizer
  2015年暗号と情報セキュリティシンポジウム, 4F1-2
- Place of Presentation
  福岡県
- Year and Date
  2015-01-23
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] モデル計数を用いたXMLデータベースのk-安全性検査2015
- Author(s)
  浅井孝俊，上杉正紀，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  熊本市
- Year and Date
  2015-05-12
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] 木文法に基づく圧縮XML文書に対する直接更新手法の評価2015
- Author(s)
  後藤健志，尾上栄浩，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会，SS2014-45, 114(416), 73-78
- Place of Presentation
  鳥取県
- Year and Date
  2015-01-27
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Quantitative evaluation of the key information that is learned through timing attack – The contribution of bucketing technique for RSA cryptosystem -2014
- Author(s)
  Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki and Minoru Ito
- Organizer
  電子情報通信学会情報セキュリティ研究会, ISEC2014-35, 114(115), 253-258
- Place of Presentation
  北海道
- Year and Date
  2014-07-04
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] Information Theoretical Evaluation of the Bucketing Technique to Mitigate Timing Attacks2014
- Author(s)
  Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki
- Organizer
  International Symposium on Information Theory and Its Applications, 574-578
- Place of Presentation
  Melbourne, Australia
- Year and Date
  2014-10-09
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] Towards HMM parameter estimation with differential privacy2014
- Author(s)
  Nut Sornchumni, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  情報処理学会第98回数理モデル化と問題解決研究会, 2014-MPS-98(25)
- Place of Presentation
  沖縄県
- Year and Date
  2014-06-27
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] セキュリティやプライバシーの定量的尺度について2014
- Author(s)
  関浩之
- Organizer
  電子情報通信学会情報理論研究会, IT2014-52, 114(353), 13-18
- Place of Presentation
  富山県
- Year and Date
  2014-12-09
- Invited
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] 木文法による圧縮XML文書に対する問合せと更新手法2014
- Author(s)
  尾上栄浩，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会，SS2014-28, 114(271), 17-22
- Place of Presentation
  高知県
- Year and Date
  2014-10-23
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013
- Author(s)
  80. Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
- Organizer
  Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA 2013), April 2013, Lecture Notes in Computer Science 7810, pp.335-346
- Place of Presentation
  Bilbao, Spain
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Verification of the Security against Inference Attacks on XML Databases(査読付)2012
- Author(s)
  Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki
- Organizer
  1st International Workshop on Trends in Tree Automata and Tree Transducers (TTATT2012)
- Place of Presentation
  名古屋大学(2012年6月2日)(採録・発表予定)
- Year and Date
  2012-06-02
- Data Source
  KAKENHI-PROJECT-23300005
[Presentation] システム設計・検証の数理2011
- Author(s)
  関浩之
- Organizer
  2011年電子情報通信学会総合大会
- Place of Presentation
  東京都市大学で開催予定が中止となり、DVDの配布をもって、すでに公表されているので、大会での発表は成立とみなす。
- Year and Date
  2011-03-14
- Data Source
  KAKENHI-PROJECT-20500034
[Presentation] A Comparative Approach to RNA Pseudoknotted Structure Prediction Based on Multiple Context-Free Grammar2011
- Author(s)
  Hiroyuki Seki
- Organizer
  8th Asian Workshop on Foundation of Software
- Place of Presentation
  中国　上海
- Data Source
  KAKENHI-PROJECT-23650153
[Presentation] A comparative approach to RNA pseudoknotted structure prediction based on multiple context-free grammar2011
- Author(s)
  Hiroyuki Seki
- Organizer
  8th Asian Workshop on Foundation of Software
- Place of Presentation
  中国上海
- Year and Date
  2011-05-13
- Data Source
  KAKENHI-PROJECT-23650153
[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] 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] Automatic insertion of access checks into recursive programs2010
- Author(s)
  Hiroyuki Seki
- Organizer
  3^<rd> SJTU-JAIST Workshop on Formal Method
- Place of Presentation
  金沢市
- Year and Date
  2010-06-04
- Data Source
  KAKENHI-PROJECT-20500034
[Presentation] Tree language theoretic approach to security verification for XML databases2010
- Author(s)
  Kenji Hashimoto, Hiroyuki Seki
- Organizer
  3^<rd> Japan-Vietnam Workshop on Software Engineering 2010
- Place of Presentation
  Hanoi, Vietnam
- Year and Date
  2010-12-09
- 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] アクセス制御 -言語ベースセキュリティをめざして-2009
- Author(s)
  関浩之
- Organizer
  日本ソフトウェア科学会第7回ディペンダブルシステムワークショップ
- Place of Presentation
  北海道亀田郡七飯町
- Year and Date
  2009-07-15
- 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] 情報流解析に基づくアクセス権検査文自動挿入法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
  情報処理学会組込みシステムシンポジウム2009
- Place of Presentation
  東京都渋谷区
- Year and Date
  2009-10-21
- Data Source
  KAKENHI-PROJECT-20500034
[Presentation] Synthesis and Verification of History-based Access Control2009
- Author(s)
  関浩之
- Organizer
  The 2009 SJTU-JAIST Joint Workshop on Formal Methods
- Place of Presentation
  中華人民共和国上海市
- Year and Date
  2009-06-17
- Data Source
  KAKENHI-PROJECT-20500034
[Presentation] ソフトウェアの静的解析と動的検査-言語ベースセキュリティを例にして-2009
- Author(s)
  関浩之
- Organizer
  情報処理学会組込みシステムシンポジウム2009
- Place of Presentation
  東京
- Year and Date
  2009-10-21
- Data Source
  KAKENHI-PROJECT-20500034
[Presentation] アクセス制御-言語ベースセキュリティをめざして-2009
- Author(s)
  関浩之
- Organizer
  日本ソフトウェア科学会第7回ディ論文集,93-98
- Place of Presentation
  北海道亀田郡七飯町
- Year and Date
  2009-07-15
- 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] 情報流からの言語組み込みアクセス制御文の挿入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
  函館
- 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
  平成20年度電子情報通信学会関西支部大会B-07
- Place of Presentation
  京都
- Data Source
  KAKENHI-PROJECT-20500034
[Presentation] 自己合成法を利用した再帰プログラムの情報流解析について2008
- Author(s)
  伊藤信裕, 関浩之
- Organizer
  電子情報通信学会技術研究報告SS2007-62
- Place of Presentation
  長崎
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500023
[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] 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] 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] On Information Flow Analysis for Recursive Programs Based on Self-Composition2007
- Author(s)
  Nobuhiro, Ito, Hiroyuki, Seki
- Organizer
  Technical Report of IEICE, SS2007-62
- Place of Presentation
  Nagasaki
- 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] 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] 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 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] 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] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
- Author(s)
  Kenji Hashimoto,Ryuta Sawada,Yasunori Ishihara,Hiroyuki Seki,Toru Fujiwara
- Organizer
  7th International Conference on Language and Automata Theory and Applications (LATA 2013), Springer LNCS 7810, pp.335-346（査読付）
- Place of Presentation
  Bilbao, Spain
- Data Source
  KAKENHI-PROJECT-23300005
[Presentation] 決定性線形下降木変換器における頂点問合せ保存
- Author(s)
  宮原一喜, 橋本健二, 関浩之
- Organizer
  電子情報通信学会技術研究報告, SS2012-38, Vol.112, No.275, pp.13-18（査読なし）
- Place of Presentation
  広島市立大学
- Data Source
  KAKENHI-PROJECT-23300005
[Presentation] Verification of the Security against Inference Attacks on XML Databases
- Author(s)
  Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  1st International Workshop on Trends in Tree Automata and Tree T2ransducers (TTATT 2012)
- Place of Presentation
  名古屋大学
- Data Source
  KAKENHI-PROJECT-23300008
[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
[Presentation] Multiple Context-Free Grammars: Basic Properties and Complexity
- Author(s)
  Hiroyuki Seki
- Organizer
  the Second Workshop on Multiple Context-Free Grammars and Related Formalisms (MCFG+2)
- Place of Presentation
  奈良県文化会館
- Invited
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Trans-Organizational Role-Based Access Control
- Author(s)
  Ramon Mejia, Yuichi Kaji and Hiroyuki Seki
- Organizer
  ACM Computer and Communications Security (ACM CCS) 2011
- Place of Presentation
  Chicago, USA
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers
- Author(s)
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ（PPL 2013）, カテゴリ2（査読なし）
- Place of Presentation
  会津若松市
- Data Source
  KAKENHI-PROJECT-23300005
[Presentation] Runtime Control of a Program based on Quantitative Information Flow
- Author(s)
  Bao Trung Chu, Kenji Hashimoto, and Hiroyuki Seki
- Organizer
  IEICE SS2013-60
- Place of Presentation
  愛知県　豊田中央研究所
- Data Source
  KAKENHI-PROJECT-23300005
[Presentation] Static Analysis for k-secrecy against Inference Attacks
- Author(s)
  Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  Korea-Japan Joint Workshop on Software Science and Engineering
- Place of Presentation
  高麗大学, 韓国
- Data Source
  KAKENHI-PROJECT-23300008
[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

1. MIZUHITO Ogawa (40362024)

# of Collaborated Projects: 7 results

# of Collaborated Products: 0 results
2. TAKATA Yoshiaki (60294279)

# of Collaborated Projects: 5 results

# of Collaborated Products: 45 results
3. HASHIMOTO KENJI (90548447)

# of Collaborated Projects: 5 results

# of Collaborated Products: 36 results
4. YUEN SHOJI (70230612)

# of Collaborated Projects: 5 results

# of Collaborated Products: 2 results
5. 藤井護 (00029464)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
6. 伊藤実 (90127184)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. 中澤巧爾 (80362581)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. HIROKAWA Nao (50467122)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. KAJI YUICHI (70263431)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
10. KATO Yuki (10511280)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. NITTA Naoya (20346307)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 森將豪 (90024942)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 嵩忠雄 (50029378)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 井上克郎 (20168438)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 杉山裕二 (50116050)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 鳥居宏次 (10172222)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 東野輝夫 (80173144)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 西田直樹 (00397449)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. NGUYEN MinhLe (30509401)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 寺内多智弘 (70447150)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
21. 今井敬吾 (70456630)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. VU Xuan Tung

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. TO Van Khanh

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results

SEKI Hiroyuki 関 浩之

関 浩之 セキ ヒロユキ

Research Projects

Research Products

Co-Researchers

グラフゲームにおける合理性に基づく検証と自動合成の統一的解決法に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Quantitative extension of formal models and its application to software analysisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Static Analysis and Dynamic Monitoring Methods for Software Security and PrivacyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formal models for quantitative analysis of software securityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Analysis based on Formaly Language Theory and Its Application to Security VerificationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

RNA-protein interaction prediction based on machine learning and optimizationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automatic Analys is and Generation Methods for Language-based Access ControlPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

STUDY ONAUTOMATIC VERIFICATION OF HIGHLY RELIABLE SOFTWARE BYINFINITE STATE MODEL CHECKINGPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

FORMAL VERIFICATION METHOD OF ACTIVE SOFTWAREPrincipal Investigator

SEKI Hiroyuki 関浩之

関浩之セキヒロユキ