研究者詳細 - 山内　利宏

MISC - 山内　利宏

分割表示 >> ／全件表示 370 件中 1 - 370 件目

IoTマルウェアの感染処理に着目したアクセス制御手法の提案

山内利宏, 吉元亮太, 吉岡克成

コンピュータセキュリティシンポジウム 2022 (CSS2022)論文集 2022 160 - 167 2022年10月

担当区分：筆頭著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

IoT マルウェア活動は活発に継続しているものの，IoT 機器のソフトウェアの最新化は進んでおらず，セキュリティ機能の活用が進んでいない状況が続いている．また，IoT 機器のセキュリティを根本的に向上させるためには，OS レベルの対策が重要である．そこで，本研究では，IoT マルウェアの感染時に実行されるコマンドとシステムコールをロギングする機構を研究開発し，IoT マルウェアの感染活動を詳細に分析可能にした．また，分析結果から，IoT マルウェアの感染動作を明らかにし，正常な処理に影響を与えずに，効果的にシステムコール実行を防止する手法を提案する．この手法は，Linux ベースの IoT 機器に組み込みしやすいように，LKM として実装した．さらに，提案手法を Linux カーネルに組み込んで，実際の IoT マルウェアによる攻撃実験を行った結果を報告する．
While the IoT malware activity is still active, the software in IoT devices has not been up-to-date, and the security features have not been fully utilized. In addition, countermeasures from OS-level are critical to fundamentally improve IoT device security. In this study, we propose a mechanism for logging commands and system calls executed when IoT malware is infected, which enables detailed analysis of the infection activities of IoT malware. Based on the analysis results, we clarify the behavior of IoT malware infections and propose a method for effectively preventing system call execution without affecting normal processing. We have implemented the proposed method as an LKM for Linux-based IoT devices to simplify its deployment into IoT devices. Furthermore, we report the results of an actual IoT malware attack experiment with the proposed LKM embedded in the Linux kernel.

Keycloakに対する柔軟なコンフォーマンステスト実行環境の構築

乗松隆志, 中村雄一, 山内利宏

コンピュータセキュリティシンポジウム 2022 (CSS2022)論文集 2022 879 - 886 2022年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

筆者らが Keycloak に実装した FAPI セキュリティプロファイルが，その仕様に適合していることを確かめるために，OpenID Foundation が提供しているコンフォーマンステストを実施しこれを確認している．このテストはバージョンアップ後の Keycloak が，サポート済の FAPI セキュリティプロファイルの仕様に準拠し続けているかを確認する為に実施することもできるため，テストは手間をかけずに実行できるのが望ましい．また，Keycloak はオープンソースであるため，セキュリティプロファイルの実装は様々な開発者が行う可能性があるため，テストは開発者の計算機環境に依らず実行できるのが望ましい．さらに，セキュリティプロファイルが新しく出てくる可能性があることから，新しいセキュリティプロファイルのコンフォーマンステストを行うための手間が少ない方が好ましい．筆者らは，以上の 3 点を考慮したコンフォーマンステスト実行環境を Keycloak のコミュニティである FAPI-SIG と共に構築し評価を行い，上記の 3 点が考慮されていることを確認し，コンフォーマンステスト実行環境を FAPI-SIG の Github レポジトリにて公開し，誰でも利用可能なようにした．
To check if Keycloak with our implementation of FAPI security profiles complies with their specifications, we had used conformance tests provided by OpenID Foundation. The conformance tests can be used for checking if the newly released version of Keycloak still complies with the FAPI security profiles, so it is better to run the conformance tests with little labor. Keycloak is open-source software, so developers other than us may implement a security profile to Keycloak. Therefore, it is better to run the conformance tests regardless of the developer’s computing environment. The conformance tests can be used when a new security profile is released and Keycloak implements it, so it is better to run the conformance tests for the new security profile with little labor. We constructed a conformance test run environment that incorporated the three points mentioned above with FAPI-SIG, a Keycloak’s community. We evaluated the environment and confirmed that it was constructed to consider the three points mentioned above. The environment was published in the FAPI-SIG’s Github repository, so everyone can use the environment.

Tenderにおける複数プロセスの性能調整入出力の調整精度の評価

大野謙介, 山内利宏, 谷口秀夫

第21回情報科学技術フォーラム講演論文集 1 223 - 224 2022年9月

ソフトウェア差分に着目したIoT機器サプライチェーンセキュリティ上の課題発見と大規模実態調査

白石周碁, 吉元亮太, 塩治榮太朗, 秋山満昭, 山内利宏, 山内利宏

電子情報通信学会技術研究報告(Web) 121 ( 410(ICSS2021 58-83) ) 2022年3月

機械学習を用いたCyber Threat Intelligence の構造化と横断的分析

藤井翔太, 川口信隆, 重本倫宏, 山内利宏

コンピュータセキュリティシンポジウム 2021 (CSS2021) 論文集 2021 906 - 913 2021年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

サイバー攻撃の増加・巧妙化に伴い，CTI（Cyber Threat Intelligence）を収集・分析し，最新の脅威情報へ追従することがより重要となっている．一方で多くの CTI は自然言語で記述されており，分析には多くのコストを要する．加えて，様々な組織が別々に情報を発行しており，横断的な分析が困難である．そこで，我々は CTI を自動的に共通フォーマットで構造化することにより，分析を支援する CyNER の研究を進めている [7]．これにより，効率化や横断的な分析の実現が期待される．本稿では，CTI の構造化における固有表現抽出の精度向上手法について述べる．評価では，サイバーセキュリティドメインのコーパスを用いて学習したモデルにより，固有表現抽出のF値を最大 2.6 ポイント向上できることを示した．また，CTI を横断的に分析し，既存のレピュテーションサイトには含まれない IOC を抽出可能なこと，97% 以上の IOC が単一の情報源にのみ含まれること，および長期的かつ複数の攻撃グループにまたがって悪用されている IOC を自動で抽出できることを示し，CyNER が CTI 分析の効率化に寄与する見込みを得た．
Cybersecurity threats have been increasing and sophisticated. In such circumstances, to keep up with the latest threat information with CTI is important. However, most of the CTI is written in natural language, which makes the analysis costly. To solve this problem, we have been studying CyNER, the method of supporting analysis by automatically structuring CTI. In this paper, we describe a method for improving the accuracy of named entity recognition in CTI structuring. Specifically, we construct a domain-specific language model to improve the recognition accuracy. In the evaluation, we showed the F-measure of named entity recognition can be improved by up to 2.6 points. We also showed CyNER can extract IOCs that are not included in the existing reputation services. We also found that more than 97% of IOCs are contained in a single source, and that some IOCs have been utilized for a long time by multiple attack groups.

攻撃ユーザプロセスの利用するカーネルコードの追跡と特定手法の提案と評価

葛野弘樹, 山内利宏

情報科学技術フォーラム講演論文集 4 21 - 28 2021年8月

Tenderにおける複数プロセス実行時の入出力性能調整法の評価

矢野史子, 山内利宏, 谷口秀夫

第24回情報科学技術フォーラム (FIT2025) (発表予定) 2025年9月

IoT機器のファームウェアにおけるハードウェアバージョンを考慮したソフトウェアの差分解析

兼松智也, 山内利宏

第24回情報科学技術フォーラム (FIT2025) (発表予定) 2025年9月

関数名に着目した静的ライブラリと実行ファイルの依存関係解析手法

谷知哉, 山内利宏

第24回情報科学技術フォーラム (FIT2025) (発表予定) 2025年9月

機密情報の拡散追跡機能におけるprocfsを用いた管理対象の把握および変更手法の評価

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

第24回情報科学技術フォーラム (FIT2025) (発表予定) 2025年9月

バイナリファジングを用いた正常なプログラムとの挙動比較によるIoT機器のトロイ化検出手法

金城豪志, 高田雄太, 熊谷裕志, 神薗雅紀, 山内利宏

情報処理学会第110回コンピュータセキュリティ・第60回セキュリティ心理学とトラスト合同研究発表会，情報処理学会研究報告 (発表予定) 2025年7月

システムコールと関係するカーネル関数の特定手法の提案

葛野弘樹, 山内利宏

電子情報通信学会第66回情報通信システムセキュリティ研究会 (ICSS)，電子情報通信学会技術研究報告 (発表予定) 2025年3月

32bit Armバイナリにおける間接参照により呼び出される関数の検出手法の改善

矢萩將馬, 山内利宏

第202回マルチメディア通信と分散処理・第108回コンピュータセキュリティ研究発表会，情報処理学会研究報告 (発表予定) 2025年3月

Linuxにおけるシグナル受信処理の早期実行開始手法

大野裕美子, 山内利宏, 谷口秀夫

情報処理学会コンピュータシステム・シンポジウム(ComSys2024)論文集 2024 74 - 81 2024年11月

偽ショッピングサイトへ誘導する踏み台サイトの検出のための実態調査

道下大悟, 小林諭, 山内利宏

コンピュータセキュリティシンポジウム 2024 (CSS2024) 論文集 2024 1095 - 1101 2024年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

近年，正規のショッピングサイトを模倣し金銭を詐取することを目的とした，偽ショッピングサイトによる被害が増加している．これまでに，Web検索から偽ショッピングサイトへの誘導手口として，改ざんされた正規のWebサイト（以降，踏み台サイト）を経由することが明らかになっている．また，踏み台サイトではクローキングによる解析回避機能を有することが明らかになっている．このため，踏み台サイトの検出，および対処が実現できれば，偽ショッピングサイトに誘導される機会を抑制することができる．本稿では，踏み台サイトの検出のための有効な手法の実現を目的として，踏み台サイトの実態調査を行った結果を報告する．実態調査として，Web検索に基づいて踏み台サイトを効率的に収集する検索条件を調査し，Top Level Domainと商品名に関するキーワードをクエリとしてGoogle検索を行うことが効率的な収集につながることを明らかにした．また，収集した踏み台サイトに対して，解析回避機能の起動条件を調査し，クローラやユーザのアクセス結果の違いを明らかにした．
Recently, the number of victims of fake shopping websites that imitate legitimate shopping sites and aim to defraud people of money has been increasing. It has been shown that the fake shopping websites use springboard websites, which are defaced legitimate sites, as leading paths to themselves. In addition, springboard websites often have analytical evasion function. Therefore, we can remove the leading paths for fake shopping websites by detecting and addressing the springboard websites. In this paper, we collect and investigate the existing springboard websites for discussing a methodology for detecting them. We identified effective search terms for collecting springboard websites using search sites, and found that it is effective to use Google search with queries of TLD and product names. We also investigated the conditions for activating analytical evasion functions in the collected springboard websites, and clarified the differences in search results between crawlers and users.

32bit Armバイナリにおける間接的に呼び出される関数呼び出し関係とシステムコールの検出

矢萩將馬, 山内利宏

コンピュータセキュリティシンポジウム 2024 (CSS2024) 論文集 2024 1505 - 1512 2024年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

IoT 機器への攻撃の増加を背景として，IoT 機器上で動作するソフトウェアにおけるセキュリティの強化の重要性が高まっている．先行研究では．Linux カーネル，およびアプリケーション（以降，AP）を改変することなく，脆弱性のある AP の保護を目的として，LKM および Linux Seccomp を用いて APが発行できるシステムコールを制限する手法を提案した．この手法では，バイナリの逆アセンブル結果を静的解析し，関数の呼び出し関係を取得する．取得した関数の呼び出し関係を辿ることで AP が発行する可能性のあるシステムコールを検出し，制限する．しかし，この手法では関数のラベルを用いた直接的な呼び出しにのみ対応し，関数ポインタを用いた間接的な呼び出しには対応していない．そこで，本稿では32bit Arm バイナリを対象とし，制御フローグラフを用いて間接的に呼び出される関数を取得する手法を提案する．提案手法と先行研究の手法を組み合わせることで AP が発行する可能性があるシステムコールの検出数の向上を目指す．また，提案手法と先行研究とを併用してシステムコールの検出数を評価した結果を報告する．
With the increase in attacks on IoT devices, the importance of strengthening the security of software that runs on IoT devices has been increasing. In previous study, we proposed a method to restrict system calls that can be issued by applications (APs) using LKM and Linux Seccomp, with the aim of protecting vulnerable APs without modifying the Linux kernel or the APs. This method performs static analysis of the results of binary disassembly to obtain the function call relationships. By following the obtained function call relationships, it is possible to detect and restrict the system calls that the AP may issue. However, this method only supports direct calls using function labels, and does not support indirect calls using function pointers. In this paper, we propose a method for obtaining functions indirectly called using control flow graphs, targeting 32-bit Arm binaries. By combining the proposed method with the method ofprevious study, we aim to improve the number of system calls that can be detected by AP. We also report on the results of evaluating the number of system calls detected using a combination of the proposed method and the method used in previous study.

IoT機器における起動時自動実行プログラム特定手法の検証と評価

島本裕大, Jiratchaya Phinyodom, 吉元亮太, 上川先之, 秋山満昭, 山内利宏

コンピュータセキュリティシンポジウム 2024 (CSS2024) 論文集 2024 1194 - 1201 2024年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

IoT（Internet of Things）機器のファームウェアには，利用する上で実行されないプログラムも含まれている．このため，優先度付けされずに実施されるセキュリティ調査はIoT機器利用時に実行されないプログラムを優先的に調査してしまう可能性がある．効率的なセキュリティ調査を行うため，我々は起動時に実行されるプログラムの特定手法を提案した．しかし，先行研究の評価では，使用したファームウェアが2件と少なく，OpenWrtベースのファームウェアに評価対象が限定されていた．本研究では，より多くのファームウェアを使用して評価と有効性の検証を行った．具体的には，評価可能な起動方式を増やし，合計11件のファームウェアを使用した．また，有効性検証に使用するファームウェアを225件に増やした．評価の結果，提案手法は少ない誤検知で起動時に実行されるプログラムを特定できることを示した．また検証結果から調査対象を優先度付けすることによって，セキュリティ調査の効率を大きく向上させられること，優先度付けすることに意義があることを示した．
In IoT (Internet of Things) devices, some programs are not used. Therefore, security investigations without prioritizing may lead to first investigating programs that are not executed while using IoT devices. To conduct efficient security investigations, we proposed a method that can identify the programs that execute during the startup process. However, only two firmware were used for the evaluation, and the security investigation to verify the efficiency and accuracy was also limited to OpenWrt-based firmware. In this paper, we use more firmware for the evaluation and verification. We use 11 firmware including which startup methods have not previously been used for evaluation. Also, the number of firmware used for validation increased to 225. The evaluation results show that the proposed method can identify with a small amount of FP. The verification shows that we can improve efficiency and has significance by prioritizing investigation targets.

実行ファイルにおける関数配置順序ランダム化手法の適用によるコード再利用攻撃への耐性評価

佐治和馬, 山内利宏, 小林諭, 谷口秀夫

コンピュータセキュリティシンポジウム 2024 (CSS2024) 論文集 2024 8 - 15 2024年10月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

多くのIoT 機器はコード再利用攻撃の対策が不十分であることが報告されている．特に，IoT 機器は製品ごとに同一のソフトウェア構造のファームウェアを組み込むため，一度，対象の製品に有効なエクスプロイトコードを作成された場合，出荷した対象の製品すべてが攻撃対象となる．これに対し，我々はこれまでに，実行ファイル内の関数順序の並び替えによる複数種類の実行ファイル生成手法を提案した．複数種類の実行ファイルとは，機能は同一のまま，命令の配置順序が異なる実行ファイルを指す．提案手法により生成した実行ファイルをファームウェアに搭載することで，ファームウェアを多様化し，コード再利用攻撃の被害を受けるIoT 機器を限定できる．本稿では， IoT 機器に広く組み込まれるソフトウェアを対象として提案手法を評価した結果を報告する．具体的には，提案手法の適用によるコード再利用攻撃への耐性，ソフトウェア実行時の動作への影響，およびコンパイル時のオーバヘッドを評価した結果を報告する．最後に，提案手法適用の有用性，および課題について述べる．
It has been reported that many IoT devices do not have countermeasures against code reuse attacks. IoT device developers embed the identical structure firmware into IoT devices. Therefore, if one exploit code succeeds in code reuse attacks on one of the targeted IoT devices, it also succeeds on the other targeted IoT devices. Previously, we proposed a method to generate multiple types of executable files by shuffling function order in executable files. The method can reorder executable instructions, keeping the identical features. By applying our method to IoT firmware, we can minimize the number of IoT devices suffering from code reuse attacks. In this paper, we report the evaluation results that apply our method to software embedded in many IoT devices. The evaluation clarifies the resilience against code reuse attacks, the impact on software behaviors, and the overhead in compile time.

個別型Tenderのコア間遠隔呼出制御の依頼多重化の実現と評価

神保啓幸, 山内利宏, 谷口秀夫

2024年度(第75回)電気・情報関連学会中国支部連合大会 2024年10月

オープンソースソフトウェアを対象とした脆弱性修正状況の収集と調査

葛野弘樹, 矢野智彦, 面和毅, 山内利宏

コンピュータセキュリティシンポジウム 2024 (CSS2024) 論文集 2024 1226 - 1233 2024年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

情報システムにおいて，オープンソースソフトウェア（OSS）は多数採用されている．OSS の開発は開発者コミュニティにより行われており，脆弱性報告へのセキュリティ対応として，脆弱性修正に必要なソースコード変更が行われている．既存のセキュリティ対策のうち，脆弱性管理では，脆弱性情報に含まれるOSS のバージョンを参照し，情報システムで用いるOSS のバージョンが含まれるかにより脆弱性有無の確認が行われる．しかし，脆弱性修正に伴うソースコード変更は脆弱性情報に含まれないことから正確に把握することは難しい．また，OSS の脆弱性情報から脆弱性修正に伴うソースコード変更の入手可能性は明らかではない．本稿では，このような課題を解決するため，OSS に関する脆弱性情報と脆弱性修正に伴うソースコード変更を調査した．本調査では，脆弱性情報を解析し，OSS に関する脆弱性修正に伴うソースコード変更の自動収集を実現，収集した脆弱性修正のソースコードを分析可能なことを確認した．評価における調査対象OSS をデータベース，メモリキャッシュ，Web サーバ，プログラミング言語，シェルサーバ，ならびにライブラリから1 つずつ選定した．評価結果より，調査対象OSS の脆弱性修正変更に伴うソースコード変更は脆弱性840 件に対して，101 件確認し，脆弱性修正に伴うソースコード変更の規模は平均3.4 ファイルに対し，平均45.2 行の追加，および平均25.4 行の削除であることを明らかにした．
Open source software (OSS) is widely adopted in information systems and security responses to vulnerability reports involve source code changes necessary to fix vulnerabilities. However, it is difficult to check how source code changes are made to fix vulnerabilities and to understand the content. In this paper, we surveyed vulnerability information on OSS and source code changes associated with vulnerability fixes. Specifically, we analyzed the vulnerability information of major OSS, realized automatic collection of source code changes related to vulnerability fixes, and confirmed that the collected source code of vulnerability fixes can be analyzed comprehensively.

カーネルデータ監視による特権昇格攻撃検出手法の提案と評価

葛野弘樹, 山内利宏

第23回情報科学技術フォーラム(FIT2024) 4 1 - 8 2024年9月

機密情報の拡散追跡機能におけるprocfsを用いた管理対象の動的追加・削除機構の提案

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

電気・情報関係学会九州支部第77回連合大会 2024 63 - 64 2024年9月

バイナリファジングによるトロイ化IoT機器におけるトリガーベースの振る舞い検出手法

中嶋彩乃, 戎恒司, 高田雄太, 齋藤宏太郎, 熊谷裕志, 神薗雅紀, 山内利宏

電子情報通信学会第67回情報通信システムセキュリティ研究会 (ICSS)/インターネットアーキテクチャ研究会(IA)合同研究会，電子情報通信学会技術研究報告 124 ( 83(ICSS2024-7) ) 36 - 41 2024年6月

読書き制限カーネルページを用いたカーネルデータ保護機構の提案

葛野弘樹, 山内利宏

電子情報通信学会第66回情報通信システムセキュリティ研究会 (ICSS)，電子情報通信学会技術研究報告 123 ( 448(ICSS2023-84) ) 108 - 115 2024年3月

OpenWrtベースのIoT機器起動時に実行されるファイルの調査を自動化する手法の提案

島本裕大, 吉元亮太, 秋山満昭, 山内利宏

電子情報通信学会第66回情報通信システムセキュリティ研究会 (ICSS)，電子情報通信学会技術研究報告 123 ( 448(ICSS2023-74) ) 36 - 42 2024年3月

ネットワークログの対話的因果解析の検討

小林諭, 石井宏典, 山内利宏, 明石修, 福田健介

電子情報通信学会インターネットアーキテクチャ研究会 (IA), 電子情報通信学会技術報告 123 ( 240 ) 233 - 240 2024年3月

シグナル受信処理の即時実行開始手法

大野裕美子, 山内利宏, 小林諭, 谷口秀夫

情報処理学会第86回全国大会，情報処理学会第86回全国大会講演論文集 55 - 56 2024年3月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

計算機上では，様々な用途でシグナルが利用されている．シグナル通信の問題点として，多数のプロセスが存在する環境では応答性が低下する可能性があることが挙げられる．これは，シグナル送信後，シグナル受信プロセスが実行されないとシグナル受信処理が開始されず，シグナル送信処理と受信処理の間に待ち時間が発生するためである．他プロセスの実行中は受信プロセスが実行されないため，多数のプロセスが存在する環境では特に待ち時間が長大化しやすい．本稿では，待ち時間の長大化を抑制してシグナル受信処理を即時に実行開始させるために，シグナル通信時に受信プロセスのスケジューリングの優先度を一時的に上げる手法を提案する．

ネットワークログ解析におけるイベント間因果情報可視化の検討

石井宏典, 小林諭, 福田健介, 山内利宏

2024年電子情報通信学会総合大会 2024年3月

仮想計算機モニタによる複数OSに対応したシステムコール検知箇所推定手法の評価

佐藤将也, 大森卓, 山内利宏, 谷口秀夫

第162回システムソフトウェアとオペレーティング・システム研究会，情報処理学会研究報告 2024-OS-162 ( 11 ) 1 - 7 2024年2月

HPCにおけるGang Schedulingの切替間隔動的変更手法

西本伊織, 山内利宏, 小林諭, 加藤純, 三輪真弘, 谷口秀夫

第162回システムソフトウェアとオペレーティング・システム研究会，情報処理学会研究報告 2024-OS-162 ( 15 ) 1 - 7 2024年2月

プロトコルファジングによるトロイ化IoT機器におけるトリガーベースの振る舞い検出手法

戎恒司, 中嶋彩乃, 高田雄太, 熊谷裕志, 神薗雅紀, 山内利宏

2024年暗号と情報セキュリティシンポジウム（SCIS2024）論文集 2024年1月

WarpDriveのモバイルセンサエンジンに搭載されている岡山大学が研究開発した機能の紹介

山内利宏

WarpDrive Workshop 2023 2023年12月

実行ファイルにおける関数配置順序のランダム化によるコード再利用攻撃への耐性向上手法の提案

佐治和馬, 山内利宏, 小林諭, 谷口秀夫

コンピュータセキュリティシンポジウム 2023 (CSS2023) 論文集 2023 1357 - 1364 2023年10月

仮想計算機モニタによるシステムコール検知箇所の推定可能なOS種別の拡張

大森卓, 佐藤将也, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム 2023 (CSS2023) 論文集 2023 139 - 146 2023年10月

Linuxカーネルにおける脆弱性修正状況の調査

葛野弘樹, 矢野智彦, 面和毅, 山内利宏

コンピュータセキュリティシンポジウム 2023 (CSS2023) 論文集 2023 308 - 315 2023年10月

機密情報の拡散追跡機能におけるprocファイルシステムを用いた管理対象把握手法の検討

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

2023年度電気・情報関係学会九州支部連合大会（第76回連合大会）講演論文集 2023 357 - 358 2023年9月

カーネルメモリ解析を用いた特権昇格攻撃検出手法の提案と評価

葛野弘樹, 西村拓也, 白石善明, 山内利宏

第22回情報科学技術フォーラム (FIT 2023)講演論文集 4 25 - 30 2023年9月

Tenderにおける他プロセスの入出力要求を考慮した入出力性能調整法の評価

大野謙介, 山内利宏, 谷口秀夫

第160回システムソフトウェアとオペレーティング・システム研究会，情報処理学会研究報告 2023-OS-160 ( 6 ) 1 - 8 2023年8月

ファームウェア解析に基づいたIoT機器上で自動実行されるプログラムの実態調査

原田真ノ介, 吉元亮太, 塩治榮太朗, 秋山満昭, 山内利宏

電子情報通信学会第62回情報通信システムセキュリティ研究会 (ICSS)，電子情報通信学会技術研究報告 122 ( 422(ICSS2022-59) ) 67 - 72 2023年3月

共有型マルチコアTenderにおける資源追加機能の設計

井上我久, 山内利宏, 谷口秀夫

2023年電子情報通信学会総合大会，情報・システム講演論文集1 45 2023年3月

脆弱性管理の調査を通じたソフトウェアサプライチェーンセキュリティの検討と考察

葛野弘樹, 矢野智彦, 面和毅, 山内利宏

第50回情報セキュリティ心理学とトラスト研究発表会，情報処理学会研究報告 2023-SPT-50 ( 1 ) 199 - 206 2023年3月

VM間通信に対応したKVM上の機密情報の拡散追跡機能の実現

大谷航平, 小林諭, 山内利宏, 谷口秀夫

第194回マルチメディア通信と分散処理・第100回コンピュータセキュリティ研究発表会，情報処理学会研究報告 2023-CSEC-100 ( 62 ) 1 - 8 2023年3月

Tenderにおけるプロセス間通信データ域を利用したコア間遠隔手続呼出制御の高速化

菰田志城, 山内利宏, 谷口秀夫

第158回システムソフトウェアとオペレーティング・システム研究会，情報処理学会研究報告 2023-OS-158 ( 27 ) 1 - 8 2023年2月

HPCクラウドにおける割り込み処理によるOSノイズの影響の評価

西本伊織, 小林諭, 山内利宏, 加藤純, 佐藤充, 谷口秀夫

第158回システムソフトウェアとオペレーティング・システム研究会，情報処理学会研究報告 2023-OS-158 ( 28 ) 1 - 7 2023年2月

Tenderにおける他プロセスの入出力要求を考慮した入出力性能調整法の実現

大野謙介, 山内利宏, 谷口秀夫

第158回システムソフトウェアとオペレーティング・システム研究会，情報処理学会研究報告 2023-OS-158 ( 26 ) 1 - 8 2023年2月

OP-TEEにおけるTA内のバッファオーバフローを利用した攻撃に対する防御手法の設計と実装

芝海人, 葛野弘樹, 山内利宏

2023年暗号と情報セキュリティシンポジウム（SCIS2023）論文集 2023年1月

LKMを介したシステムコールのアクセス制御におけるSeccompフィルタ生成手法の改善と評価

柚木孝文, 吉元亮太, 山内利宏

2023年暗号と情報セキュリティシンポジウム（SCIS2023）論文集 2023年1月

Foreward. 招待

Toshihiro Yamauchi

IEICE Transactions on Information and Systems E105-D ( 12 ) 1998 - 1998 2022年12月

OP-TEEにおけるTA内のバッファオーバフローを利用した攻撃に対する防御手法の設計

芝海人, 葛野弘樹, 山内利宏

情報処理学会シンポジウムシリーズコンピュータセキュリティシンポジウム 2022 (CSS2022) 論文集 2022 872 - 878 2022年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

TEE システムは，Linux や Android などの Rich OS が動作する Normal World とこれらの OS から直接アクセスすることのできない Secure World を提供する．Secure World 内に機密情報の保存やセキュリティ処理を実装することにより，機密情報の漏洩やセキュリティ処理の改ざんを防止できる．しかし，Secure World 内に脆弱性がある場合，TEE システムは Normal World からの攻撃により侵害されてしまう．特に，Trusted Application（以降，TA）は Secure World 内で脆弱性が多く報告されている．そこで，本研究では，広く使われている TEE システムの一つである OP-TEE に着目し，TA におけるスタックバッファオーバフローの脆弱性に起因する問題点について説明する．この問題点に対処するために，TA におけるスタックバッファオーバフローの防御機構について提案する．提案手法では，TA の関数内で使用されるローカル変数のサイズと TA の関数へ渡される値を比較することでスタックバッファオーバフローの検知を行う．
TEE systems provide Normal World (NW) running Rich OS such as Linux and Android, and Secure World (SW) that cannot be directly accessed by the OS. By storing confidential information and implementing security processes in SW, leakages of confidential information and tampering with security processes can be prevented. However, if there is a vulnerability in SW, TEE systems can be compromised by attacks from NW. In particular, Trusted Application (TA) vulnerabilities in SW have been reported. In this study, we focus on OP-TEE, one of the widely-used TEE systems, and explain the problems caused by the stack buffer overflow vulnerability in TA. To address this problem, we propose a prevention method for stack buffer overflows in TA. The proposed method detects stack buffer overflows by comparing the size of a local variable used in a TA function with the value passed to the TA function.

Androidにおける意図しないWebサイト遷移の誤検知の削減手法

戎恒司, 折戸凛太郎, 山内利宏

コンピュータセキュリティシンポジウム 2022 (CSS2022)論文集 2022 1186 - 1193 2022年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

Android において，リダイレクトにより利用者の意図しない Web サイト（以降，悪性 Web サイト）へ誘導する攻撃が存在する．この攻撃への対策として，悪性 Web サイトへの遷移を検知する手法（以降，従来手法）が提案されている．従来手法では，悪性 Web サイトへの遷移の特徴として，リダイレクトによって Web サイトが短時間に連続して切り替わることに着目し，Web ブラウザの URL バーの切り替わり間隔を利用して，悪性 Web サイトへの遷移を検知している．しかし，スワイプなどの利用者の操作によって，良性 Web サイトにおいても，URL バーが短時間で連続して切り替わる場合がある．従来手法は，この切り替わりを悪性 Web サイトへの遷移であると判別し，多くの誤検知を発生させてしまう．本稿では，従来手法で発生する誤検知を削減する手法（以降，提案手法）を提案する．提案手法は，従来手法の誤検知の原因となる利用者の操作を判別し，この操作による遷移を悪性 Web サイトへの遷移でないと判別する．提案手法の評価により，提案手法が従来手法で発生する誤検知を大幅に削減できることを示す．
One of the attacks targeting Android users is redirecting them to unwanted websites. This attack causes multiple redirections in a short time. Based on this feature, a previous study has proposed a detection method of redirection to unwanted websites focusing on URL bar switching intervals. However, in legitimate websites, user interactions such as swiping may switch the URL bar multiple times in a short time. The previous method falsely detects this switching as the redirection to unwanted websites, resulting in many false positives. In this paper, we propose a method for reducing false positives in the previous detection method. The proposed method discriminates user interaction that causes false positives in the previous detection method. An evaluation of our method indicates that our method can significantly reduce false positives discriminated by the previous method.

機械学習を用いたIoT機器向けセキュアOSの設計

三木雅登, 山内利宏

情報処理学会シンポジウムシリーズコンピュータセキュリティシンポジウム 2022 (CSS2022) 論文集 2022 546 - 553 2022年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

Internet of Things（IoT）機器はセキュリティの強化が必要である．しかし，Linux を搭載する IoT 機器はほとんどの場合，Linux に組み込まれたセキュリティ機能である Linux Security Modules（LSM）ベースの既存のセキュア OS を適用していない．既存の LSM ベースのセキュア OS は，適用可否がシステムに搭載されるファイルシステムに依存する．また，既存のLSMベースのセキュア OS は初期設定でリモートログインによる攻撃を防御できない場合がある．そこで，本研究では，これらの課題を克服するために，システムを保護できる軽量な設定情報を自動生成してメモリに配置する手法を検討した．近年の機械学習の応用実績から，機械学習はシステムの動作と保護を両立する軽量な識別器の自動生成が可能であると期待できる．このため，LSM ベースのセキュア OS におけるアクセス制御に機械学習を利用する有効性は高いと推察する．本稿では，機械学習を用いた LSM ベースのセキュア OS の設計について述べる．また，設計した LSM ベースのセキュア OS がファイルシステムと初期設定における課題を克服する手法を検討する．
It is essential to enhance security of IoT devices, however, few IoT devices using Linux apply existing Linux Security Modules (LSM)-based MAC systems. Some of them cannot be applied on systems using certain file systems and protect systems from remote login attacks with default configurations. In this research, we propose a method of the automatic generation of lightweight configuration to protect the systems, and storing it on memory with valid measures to handle those problems. Considering recent achievements of machine learning application, it will be possible to automatically generate a proper and lightweight classifier by machine learning. Therefore, we infer that the effectiveness of applying machine learning to LSM-based MAC system is high. In this paper, we explain our design of these measures using machine learning and LSM. We also examine how to solve problems caused by file systems and the default configuration in LSM-based MAC system we designed.

オープンソースソフトウェアに対するセキュリティリスク指標の提案と評価

葛野弘樹, 矢野智彦, 山内利宏

コンピュータセキュリティシンポジウム 2022 (CSS2022)論文集 2022 784 - 791 2022年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

オープンソースソフトウェア（OSS）を用いた情報システムが主流となり，OSS に対するセキュリティ対策は急務である．OSS の開発は開発者コミュニティが担うことが多く，利用者による独自の修正は容易ではない．また，OSS に脆弱性が発見された場合において，情報システムの利用環境毎に脆弱性への対応が必要であるかの判断は難しい．既存のセキュリティ研究では，ソフトウェアの脆弱性の分類，脆弱性の危険性の推定，ならびに脆弱性の攻撃利用可能性に関する解析手法が提案されている．しかし，運用中の情報システムで利用中の OSS の脆弱性や開発状況を分析し，攻撃を受ける可能性の把握や，脆弱性が発見された際に危険性の有無を判断することは困難であり，依然として課題である．本稿では，このような課題を解決するため，OSS のセキュリティリスク指標を提案し，情報システムで利用する OSS の危険性の継続的な把握を可能とする．提案手法では，脆弱性に関する情報と OSS の開発状況を結び付け，セキュリティリスク指標を算出可能とする．情報システムの運用において，提案する OSS のセキュリティリスク指標をセキュリティ対策の判断基準として用いることで，セキュリティ保守の実施判断に利用可能になる．評価においては，提案するセキュリティリスク指標を用いて，複数の OSS に対して危険性を把握可能か検証を行った．また，Linux ディストリビューションに提案手法を適用し， OSS のセキュリティリスク指標の算出にかかるコストを検証した．
Open source software (OSS) become a software mainstream. The security of OSS is an important topic for information systems using OSS. When vulnerabilities are discovered in OSS, it is difficult to fix or address OSS for each information system environment. Existing security studies proposed classifying vulnerabilities, estimating vulnerability risks, and analyzing vulnerability exploitability. However, it is still difficult to understand the vulnerabilities threat, and development status of OSS used in information systems operation. The challenge is to determine whether vulnerabilities and OSS development status are dangerous or not. In this paper, we propose a security risk Indication for OSS to tackle these problems. The proposed method calculates security risk indications by combining vulnerability information and the development status of OSS. The proposed security risk Indication of OSS as a criterion for security measures in the operation of information systems. In the evaluation, we verified whether the proposed security risk indication can be used to identify the threats of multiple OSS and the cost of calculating security risk indications.

権限情報の動的な再配置による特権昇格攻撃防止手法の提案と評価

葛野弘樹, 山内利宏

第21回情報科学技術フォーラム講演論文集 4 25 - 32 2022年9月

10GbE環境における通信処理性能の分析

西本伊織, 加藤純, 佐藤充, 中島耕太, 山内利宏, 乃村能成, 谷口秀夫

第21回情報科学技術フォーラム講演論文集 4 215 - 216 2022年9月

仮想計算機モニタによるシステムコール検知箇所の推定

大森卓, 佐藤将也, 山内利宏, 谷口秀夫

第21回情報科学技術フォーラム講演論文集 4 153 - 154 2022年9月

IoT機器におけるセキュアOSの適用可否と保護機能の評価

三木雅登, 山内利宏

第21回情報科学技術フォーラム講演論文集 4 147 - 150 2022年9月

Towards (Re)constructing Attack Flow from Threat Report

Shota Fujii, Nobutaka Kawaguchi, Tomohiro Shigemoto, Toshihiro Yamauchi

31st USENIX Security Symposium Poster Session (USENIX Security '22 Posters),Poster 2022年8月

Visualization Result of String-based CPU Architecture Independent IoT Malware Clustering

Yutaro Osako, Toshihiro Yamauchi, Katsunari Yoshioka, Takuya Fujihashi, Takashi Watanabe, Shunsuke Saruwatari

Network and Distributed System Security Symposium (NDSS 2022),Poster 2022年4月

正常通信への影響を考慮したURLシグネチャの自動生成および影響評価システムの設計と実装

藤井翔太, 藤井翔太, 川口信隆, 小島将耶, 鈴木智也, 山内利宏

電子情報通信学会大会講演論文集(CD-ROM) 2022 2022年3月

カーネルにおけるMemory Protection Keyを用いたカーネルデータ保護機構の拡張性検討と性能評価

葛野弘樹, 山内利宏

情報処理学会研究報告(Web) 2022 ( DPS-190 ) 2022年3月

監視プログラムのデバッグレジスタ利用をAPから隠蔽する手法の比較評価

仲村亮祐, 山内利宏, 佐藤将也, 谷口秀夫

電子情報通信学会大会講演論文集(CD-ROM) 2022 2022年3月

揮発性/不揮発性メモリのアクセス速度差を考慮したOFF2Fの性能予測

額田哲彰, 山内利宏, 谷口秀夫

情報処理学会第84回全国大会講演論文集 2022 ( 1 ) 121 - 122 2022年1月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

揮発性メモリと不揮発性メモリ（以降，NVメモリ）を混載した計算機における新たな実行ファイル形式（OFF2F：Object File Format consisting of 2 Files）が提案されている．OFF2Fは，読み出しのみ行われるテキスト部をNVメモリ上に格納することで，テキスト部の要求時ページング（以降，ODP）処理を高速化する．一方で，揮発性メモリに比べ，NVメモリはアクセス速度が低速である．そこで本稿では，平均メモリアクセス速度を定式化し，NVメモリの低速なアクセス速度による実行時間の増加量とODP処理の高速化による実行時間の減少量を比較することで，OFF2Fの有効性を示す．

仮想計算機上OSとVMM間の制御移行に着目した性能評価

島谷隼生, 山内利宏, 谷口秀夫

情報処理学会第84回全国大会講演論文集 2022 ( 1 ) 119 - 120 2022年1月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

仮想計算機（以降，VM）環境では，VM上で動作するプロセスの内容に応じて，VMモニタ（以降，VMM）への遷移が発生し，VMMによる処理を必要とする場合がある．このため，VM上で動作するプロセスの多くは，仮想化による影響を受け，物理計算機上で動作する場合よりも実行時間が長大化する場合がある．本稿では，ベンチマークアプリケーションを用いて物理計算機環境とVM環境におけるプログラムの実行性能を評価した結果を報告する．また，VM環境におけるプログラム実行時のVMMへの遷移数とVM上のプログラムの実行時間の長大化の関係を明らかにする．

VMMを用いたプログラム実行時の証拠取得機能における取得対象の拡張と改ざん耐性の向上

伊藤寛史, 中村徹, 磯原隆将, 山内利宏

2022年暗号と情報セキュリティシンポジウム論文集,電子媒体 2022年1月

オンラインサンドボックスにおけるMITRE ATT&CKマッピング機能に係る実態調査

藤井翔太, 山岸伶, 山内利宏

2022年暗号と情報セキュリティシンポジウム論文集,電子媒体 2022年1月

Tenderにおける資源プール利用可否機能の評価

林里咲, 山内利宏, 谷口秀夫

情報処理学会第84回全国大会講演論文集 2022 ( 1 ) 117 - 118 2022年1月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

Tenderは，資源プール機能によりプロセス生成処理を高速化している．また，資源プール利用可否機能により資源プール機能の選択利用が可能である．近年の計算機では様々なサービスが動作するため，優先してプロセス生成を高速化したいサービス（以降，優先サービス）と，そうでないサービス（以降，非優先サービス）が共存する．それぞれのサービスのプロセス生成に必要な資源が重複した場合に，優先サービスと非優先サービスの資源プール機能利用が競合し，優先サービスが資源プール機能を有効利用できない場合が発生する．本稿では，資源プール利用可否機能により優先サービスが資源プール機能を有効利用し，性能の低下を防ぐ効果を示す．

IoT機器へのTelnet接続ログのコマンドに着目したクラスタリングによる分析

馬場隆寛, 馬場謙介, 吉岡克成, 山内利宏

コンピュータセキュリティシンポジウム 2021 (CSS2021) 論文集 2021 692 - 696 2021年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

インターネットの発展に伴い，IoT 機器が増加している．IoT 機器は，Telnet を動作させることにより，外部からの遠隔操作が可能となっている場合があり，IoT 機器を対象としたマルウェアによる脅威にさらされている．本研究では，IoT 機器に Telnet で侵入された際のコマンドログを K-means 法を用いてクラスタリングし，分析を行った．ハニーポットを用いて収集した Telnet ログをデータとして使用している．クラスタリングにあたり，コマンドを単語ごとに分割し，単語に対する n-gram を用いた．これは，複数のコマンドを同時に実行している場合やコマンド実行時にファイル等を指定している場合を考慮するためである．本稿では，その分析結果を報告する．
With the development of the Internet, the number of IoT devices is increasing. IoT devices may be able to be remotely controlled from the outside by operating Telnet, and are exposed to the threat of malware targeting IoT devices. In this study, we clustered the command log when Telnet invaded into an IoT device using the K-means method, and analyzed. The Telnet log collected using the honeypot is used as data. For clustering, the command was divided into words, and n-gram of the words was used. This is to consider the case where multiple commands are executed at the same time or the case where a file etc. is specified when executing a command. In this paper, we report the analysis results.

カーネルにおけるMemory Protection Keyを用いた権限情報保護機構の提案

葛野弘樹, 山内利宏

コンピュータセキュリティシンポジウム 2021 (CSS2021) 論文集 2021 647 - 654 2021年10月

Tenderにおけるプロセス間通信データ域を利用したコンテナボックス通信の性能分析

菰田志城, 山内利宏, 谷口秀夫

2021年度電気・情報関連学会中国支部第72回連合大会 2021年10月

IoTマルウェアの分類方法に関する検討

大迫勇太郎, 山内利宏, 吉岡克成, 藤橋卓也, 渡辺尚, 猿渡俊介

コンピュータセキュリティシンポジウム 2021 (CSS2021) 論文集 2021 697 - 704 2021年10月

記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

モノがネットワークに接続されることが一般的となり，我々の生活が便利になった．しかしながら，ネットワーク接続されたモノは攻撃者の標的となり，大規模な攻撃への温床となっているため，マルウェアへの対応が必須である．IoT デバイス向けのマルウェアへの対策は，攻撃方法の高速な分析と多様な CPU アーキテクチャへの対応が求められる．このような観点から，本稿では IoT デバイス向けのマルウェアのクラスタリング手法「String-based Malware Clustering Algorithm (SMCA)」を提案する．SMCA では，マルウェアから文字列を抽出し，階層的クラスタリングによって分類木を作成する．文字列ベースの手法では，CPU プラットフォームが異なる同種のマルウェアを近くにクラスタリングすることもできる．また，説明変数が文字列であるため，ユーザが解析しやすいという特徴がある．SMCA の有効性を横浜国立大学吉岡研究室の IoT マルウェアデータセットの4000 検体，VirusTotal を用いて評価した結果，異なるプラットフォームでも機能が似ていれば近い距離にクラスタリングされることが分かった．また，解析の過程で 4000 検体の中でとある文字列を含んだ 25 検体を発見し，調べたところ，そのマルウェアのソースコードらしきものにたどり着くことができた．
N/A

OP-TEEのセキュアワールドにおける脅威の調査

芝海人, 葛野弘樹, 山内利宏

コンピュータセキュリティシンポジウム 2021 (CSS2021) 論文集 2021 661 - 667 2021年10月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

TEE（Trusted Execution Environment）システムは，Linux などの汎用 OS が動作するメモリ空間上で動作するアプリケーションから，直接アクセスできないメモリ空間であるセキュアワールドを構築する．セキュアワールドへの機密情報の保存やセキュリティ処理を実装により，機密情報やセキュリティ処理を保護できる．しかし，セキュアワールド内にソフトウェアの脆弱性がある場合，セキュアワールドは脆弱性を利用した攻撃により侵害される．特に，セキュアワールドで動作するアプリケーションである TA（Trusted Application）は脆弱性が多く報告されており， TA の脆弱性を利用したセキュアワールドに対する攻撃が報告されている．しかし，TA を悪用したセキュアワールドに対する攻撃の対策が十分に検討されているのかは明らかではない．そこで，本稿では，OSS（Open Source Software）の TEE システムである OP-TEE において， TA に適用可能な 5 つのセキュリティ機能（RELRO，SSP，XN，ASLR，およびPIE）の適用の有無について調査した結果を述べる．
The TEE (Trusted Execution Environment) system constructs Secure World (SW), which is the memory area that cannot be directly accessed by applications running on the memory area where a general-purpose OS such as Linux is running. By storing confidential information and implementing security processes in SW, confidential information and security processes can be protected. However, if there are software vulnerabilities in SW, SW can be compromised by attacks exploiting the vulnerabilities. Many vulnerabilities in TA (Trusted Application), which is application running in SW, and attacks against SW using TA vulnerabilities were reported. However, it is not clear whether the countermeasures against attacks in SW using TA was sufficiently studied. In this paper, we describe the results of a survey on the application of five security features (RELRO, SSP, XN, ASLR, and PIE) of TA in OP-TEE, an OSS (Open Source Software) TEE system.

マルチコアで動作するVMに対応したKVM上の機密情報の拡散追跡機能の評価

大谷航平, 山内利宏, 森山英明, 佐藤将也, 谷口秀夫

コンピュータセキュリティシンポジウム 2021 (CSS2021) 論文集 2021 403 - 410 2021年10月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

近年，機密情報が漏えいする事例が増加している．この問題に対処するため，仮想計算機モニタ（Virtual Machine Monitor，以降，VMM）を利用した機密情報の拡散追跡機能（以降，VMM における拡散追跡機能）を提案した．しかし，既存の VMM における拡散追跡機能は，複数の仮想計算機（Virtual Machine，以降，VM）を同時に監視対象とした場合に必要となる排他制御，および監視対象 VM に複数の vCPU を割り当てた場合の対処について十分に検討されていない．そこで，本稿では，VMM における機密情報の拡散追跡機能について，必要な排他制御，および複数の vCPU を割り当てた VM を監視対象とした場合の対処方法について述べる．さらに，複数の vCPU を割り当てた VM を監視対象とした場合における機密情報の拡散追跡機能の追跡可能性と，機密情報の拡散追跡機能によるオーバヘッドについて評価した結果を述べる．
Recently, the cases of classified information leakage has been increasing. To solve this problem, a function to trace the diffusion of classified information using a Virtual Machine Monitor (VMM) was proposed. However, the proposed function is not considered in terms of the exclusion control that is necessary when multiple virtual machines (VMs) are monitored. In addition, the function is not examined in terms of the case where the monitoring target is a VM to which multiple virtual CPUs (vCPU) are allocated. Therefore, in this paper, we describe the exclusion control for the diffusion tracking function of classified information in VMMs. We also show how to deal with the case where a VM with multiple vCPUs is the target of monitoring. Furthermore, we report the evaluation results of the traceability of the improved proposed method and its overhead for classified information when a VM with multiple vCPUs is monitored.

Large-scale Survey on Secure Development of IoT Devices by Software Analysis and Vendor Interview 招待

Shugo Shiraishi, Akifumi Fukumoto, Ryota Yoshimoto, Eitaro Shioji, Mitsuaki Akiyama, Toshihiro Yamauchi

The 16th International Workshop on Security (IWSEC 2021), Invited session 2021年9月

Tenderにおける資源プール機能の選択利用方式

林里咲, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 4 171 - 172 2021年8月

ハッシュ関数の特徴を用いた深層学習によるマルウェア分類

馬場隆寛, 馬場謙介, 山内利宏

情報科学技術フォーラム講演論文集 4 43 - 46 2021年8月

NUMA構成の計算機におけるメモリ操作速度に着目した評価

島谷隼生, 山内利宏, 谷口秀夫, 佐藤将也

情報科学技術フォーラム講演論文集 4 169 - 170 2021年8月

擬似不揮発性メモリを用いたOFF2Fプログラムの評価

額田哲彰, 佐藤将也, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 4 173 - 174 2021年8月

Twitterで収集されたAndroidアプリのアクセシビリティサービスの利用率とAPI Levelの分析

市岡秀一, 三村隆夫, 中嶋淳, 山内利宏

電子情報通信学会技術研究報告（電子情報通信学会第56回情報通信システムセキュリティ研究会 (ICSS)） 121 ( 122 ) 141 - 146 2021年7月

LKMを介したSeccompフィルタの適用によるアクセス制御手法の提案と評価

山内利宏, 吉元亮太

情報処理学会研究報告（第93回CSEC・第53回IOT合同研究発表会） 2021-CSEC-93 ( 12 ) 1 - 6 2021年5月

カーネル仮想記憶空間における排他的ページ参照機構の実現方式と性能評価

葛野弘樹, 山内利宏

電子情報通信学会技術研究報告（第54回情報通信システムセキュリティ研究会(ICSS)） 120 ( 384 ) 138 - 143 2021年3月

Cyber Threat Intelligenceの構造化による分析支援手法の提案

藤井翔太, 川口信隆, 重本倫宏, 山内利宏

情報処理学会研究報告（第186回マルチメディア通信と分散処理・第92回コンピュータセキュリティ合同研究発表会） 2021-CSEC-92 ( 47 ) 1 - 8 2021年3月

IoT機器への不正なTelnet接続ログのコマンドに着目した分析

山内利宏, 吉元亮太, 吉岡克成

情報処理学会第83回全国大会講演論文集 3 393 - 394 2021年3月

Androidにおける遷移元Webサイトから利用者の意図しないWebサイトまでの通信内容の分析

川島千明, 市岡秀一, 山内利宏

情報処理学会研究報告（第186回マルチメディア通信と分散処理・第92回コンピュータセキュリティ合同研究発表会） 2021-CSEC-92 ( 44 ) 1 - 8 2021年3月

Tenderにおける2種類の管理単位を持つ資源「実メモリ」の設計と実現

楠恒輝, 山内利宏, 谷口秀夫

情報処理学会研究報告（第151回システムソフトウェアとオペレーティング・システム研究会） 2021-OS-151 ( 12 ) 1 - 8 2021年3月

計算機状態の高速な保存と復元を可能にする不揮発性メモリ向けTenderのプレート機能の実現

田中雅大, 山内利宏, 谷口秀夫

情報処理学会研究報告（第151回システムソフトウェアとオペレーティング・システム研究会） 2021-OS-151 ( 12 ) 1 - 8 2021年3月

実証実験データを用いたモバイル向けブラックリスト構築手法の評価と未知の悪性サイト探索

石原聖, 佐藤将也, 山内利宏

2021年暗号と情報セキュリティシンポジウム（SCIS2021）論文集 2021年1月

VMMによるプログラム実行時のライブラリ情報取得機能の設計

伊藤寛史, 中村徹, 清本晋作, 山内利宏

2021年暗号と情報セキュリティシンポジウム（SCIS2021）論文集 2021年1月

URLバーの切り替わり間隔に着目した意図しないWebサイト遷移の検知手法の改善と実証実験データによる評価

折戸凜太郎, 佐藤将也, 梅本俊, 中嶋淳, 山内利宏

コンピュータセキュリティシンポジウム2020論文集 9 - 16 2020年10月

ソフトウェア解析とベンダインタビューによるIoT機器のセキュリティに関する大規模実態調査

白石周碁, 福本淳文, 吉元亮太, 塩治榮太朗, 秋山満昭, 山内利宏

コンピュータセキュリティシンポジウム2020論文集 875 - 882 2020年10月

コンテナ向けカーネル仮想記憶空間の分離制御機構

葛野弘樹, 山内利宏

コンピュータセキュリティシンポジウム2020論文集 859 - 866 2020年10月

Androidにおける悪性Webサイトアクセスの可視化手法の提案とページ遷移分析

市岡秀一, 川島千明, 佐藤将也, 山内利宏

コンピュータセキュリティシンポジウム2020論文集 551 - 558 2020年10月

悪性Webサイトの探索によるモバイル向けブラックリスト構築手法の実証実験データによる評価

石原聖, 佐藤将也, 山内利宏

コンピュータセキュリティシンポジウム2020論文集 21 - 28 2020年10月

Tenderにおける資源「実メモリ」の機能拡張の実現

楠恒輝, 山内利宏, 谷口秀夫

電気・情報関連学会中国支部連合大会講演論文集(CD-ROM) 71st 2020年10月

カーネル仮想記憶空間における排他的ページ参照機構によるデータ保護能力と性能評価

葛野弘樹, 山内利宏

情報科学技術フォーラム講演論文集 19th 1 - 6 2020年9月

Method of Generating a Blacklist for Mobile Devices by Searching Malicious Websites

Takashi Ishihara, Masaya Sato, Toshihiro Yamauchi

The 21st World Conference on Information Security Applications (WISA2020), poster 2020年8月

Method of Generating a Blacklist for Mobile Devices by Searching Malicious Websites

Takashi Ishihara, Masaya Sato, Toshihiro Yamauchi

The 21st World Conference on Information Security Applications (WISA2020), poster 2020年8月

Tender における資源「入出力」のスループット向上手法

利穂虹希, 山内利宏, 谷口秀夫

2020年電子情報通信学会総合大会情報・システム講演論文集1 48 - 48 2020年3月

ファームウェアに着目したIoT機器のセキュリティ機能の調査

白石周碁, 福本淳文, 塩治榮太朗, 秋山満昭, 山内利宏

電子情報通信学会第50回情報通信システムセキュリティ研究会(ICSS)，電子情報通信学会技術研究報告 119 ( 437 ) 37 - 42 2020年3月

仮想計算機モニタによるプログラム実行の証拠保全システムの設計

伊藤寛史, 中村徹, 橋本真幸, 山内利宏

2020年電子情報通信学会総合大会情報・システム講演論文集2 119 - 119 2020年3月

Seccompを利用したIoT機器のセキュリティ機能の向上手法の一検討

松下瑛佑, 山内利宏

2020年電子情報通信学会総合大会情報・システム講演論文集2 118 - 118 2020年3月

Android WebViewにおける利用者の意図しない悪性WebサイトへのWebアクセス可視化手法

市岡秀一, 佐藤将也, 山内利宏

2020年電子情報通信学会総合大会情報・システム講演論文集2 117 - 117 2020年3月

悪性Webサイトの探索によるモバイル向けブラックリスト構築手法の評価

石原聖, 佐藤将也, 山内利宏

第82回全国大会講演論文集 2020 ( 1 ) 441 - 442 2020年2月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

モバイル端末において，利用者の意図しないWebサイトへ誘導する攻撃が存在する．この攻撃への対策の1つとして，URLやホスト名のブラックリストを構築し，悪性Webサイトへのアクセスを未然に防止する手段がある．そこで，我々は，悪性Webサイトを探索し，モバイル向けのブラックリストを構築する手法を提案した．また，構築したブラックリストについて，悪性Webサイト検知率の評価を行った．しかし，悪性Webサイトの探索期間が短く，十分な評価が行われていない．本稿では，より長い期間の探索により構築したブラックリストを用いて，悪性Webサイト検知率の評価を行った結果を報告する．

Tenderの資源プール機能における資源量の可視化機能

林里咲, 山内利宏, 谷口秀夫

第82回全国大会講演論文集 2020 ( 1 ) 39 - 40 2020年2月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

オペレーティングシステムにおいて，プロセス生成処理は，空間の生成やプログラム読み込みといった処理を行うため，負荷が大きい．そこで，分散指向永続オペレーティングシステムTenderでは，プロセス削除時にプロセスを構成する資源を削除せずに保持し，プロセス生成時に再利用することで，プロセスの生成処理と削除処理を高速化する資源プール機能を実現している．資源プール機能をより効率的に使用するためには，資源プール内に保持している資源について，計算機管理者が正確に把握する必要がある．本稿では，資源プール内の資源量と，資源プール機能に対して行われる資源の生成要求と削除要求を取得する機能を実現する手法を述べる．

Tenderにおける資源「実メモリ」の機能拡張

楠恒輝, 山内利宏, 谷口秀夫

第82回全国大会講演論文集 2020 ( 1 ) 51 - 52 2020年2月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

一つの計算機において，プログラムを実行するコアの数を増加させるうえで，NUMA構成が有効である．Tenderでは，UMA構成を意識した実メモリ管理を行っているため，NUMA構成のノード毎に分割された実メモリを有効に扱えない．このため，Tenderの実メモリ管理のNUMA構成への対応が課題である．Tenderでは，実メモリを資源「実メモリ」として管理しており，現在の資源管理で管理できる実メモリは256MBまでである．しかし，現在のNUMA構成の計算機は，少ないもので64GB程度の実メモリを搭載している．本稿では，Tenderの実メモリ管理機能の拡張ついて述べる．

マルチコアTenderにおけるコア間遠隔手続呼出制御処理の高速化と機能拡充

藤戸宏洋, 山内利宏, 谷口秀夫

情報処理学会研究報告(Web) 2020 ( OS-148 ) 2020年2月

AndroidにおけるURLバーの切り替わり間隔に着目した利用者の意図しないWebサイトへの遷移の検知手法の評価

折戸凜太郎, 石原聖, 佐藤将也, 梅本俊, 中嶋淳, 山内利宏

2020年暗号と情報セキュリティシンポジウム（SCIS2020）論文集 2020年1月

スマートフォンにおけるWeb媒介型サイバー攻撃の観測機構：設計と実装

山田明, 佐野絢音, 窪田歩, 嶌田一郎, 中嶋淳, 吉岡克成, 瀬尾浩二郎, 満保雅浩, 佐藤将也, 松村礼央, 田辺瑠偉, 小澤誠一, 田中翔真, 梅本俊, 松田壮, 山内利宏, 澤谷雪子

2020年暗号と情報セキュリティシンポジウム（SCIS2020）論文集 2020年1月

モバイル向け悪性Webサイトの探索によるブラックリスト構築手法

石原聖, 折戸凜太郎, 佐藤将也, 山内利宏

コンピュータセキュリティシンポジウム2019論文集 ( 2019 ) 1025 - 1032 2019年10月

単一フックポイントのゲストOS監視による検知可能な権限昇格攻撃の拡大とオーバヘッド削減の実現

福本淳文, 山内利宏

コンピュータセキュリティシンポジウム2019論文集 ( 2019 ) 144 - 151 2019年10月

権限昇格攻撃防止手法におけるARM TrustZoneを利用した権限の保護

吉谷亮汰, 山内利宏

コンピュータセキュリティシンポジウム2019論文集 ( 2019 ) 581 - 588 2019年10月

カーネル仮想記憶空間における排他的ページ参照によるカーネルの攻撃耐性の実現と評価

葛野弘樹, 山内利宏

コンピュータセキュリティシンポジウム2019論文集 ( 2019 ) 660 - 667 2019年10月

typeattributeset宣言の置き換えによるSELinuxの不要なポリシの細粒度な削減手法の提案

齋藤凌也, 山内利宏

コンピュータセキュリティシンポジウム2019論文集 ( 2019 ) 668 - 675 2019年10月

Androidを対象とした利用者の意図しないWebサイトの分類

利穂虹希, 折戸凜太郎, 佐藤将也, 山内利宏

コンピュータセキュリティシンポジウム2019論文集 ( 2019 ) 1011 - 1016 2019年10月

AndroidにおけるURLバーの切り替わり間隔に着目した利用者の意図しないWebサイトへの遷移の検知手法

折戸凜太郎, 佐藤将也, 山内利宏

コンピュータセキュリティシンポジウム2019論文集 ( 2019 ) 1017 - 1024 2019年10月

機密情報の拡散追跡機能におけるログ表示機能の実装

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

電気関係学会九州支部連合大会講演論文集 2019 ( 0 ) 132 - 132 2019年9月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）出版者・発行元：電気・情報関係学会九州支部連合大会委員会

<p>計算機内で管理されている機密情報は，外部へ漏えいすることで企業や個人にとって大きな損失となる．この問題への対処として，KVMによる仮想計算機環境を利用して，機密情報の外部への拡散を検知し追跡する機能が提案され，実現されている．一方，拡散経路の把握について，拡散の解析完了を契機としてログ出力しており，任意の時点におけるタイムリーな拡散経路の把握が難しい．そこで，任意の時点において拡散経路を把握可能な手法を提案している．本稿では，機密情報の拡散追跡機能について，任意の時点においてタイムリーに拡散経路を把握する手法について，実装した結果を述べる．</p>

DOI： 10.11527/jceeek.2019.0_132

カーネル脆弱性を利用した攻撃に対する仮想記憶空間の切替え処理の保護と改ざん検出

葛野弘樹, 山内利宏

情報科学技術フォーラム講演論文集 18th 9 - 16 2019年9月

KVM上のゲストOSにおける権限の変更に着目した権限昇格攻撃防止手法の評価

福本淳文, 山内利宏

情報科学技術フォーラム講演論文集 18th 187 - 188 2019年9月

64-bit ARM環境における権限の変更に着目した権限昇格攻撃防止手法の評価

吉谷亮汰, 山内利宏

情報科学技術フォーラム講演論文集 18th 189 - 190 2019年9月

Android向けセキュリティアプリにおける悪性Webサイト検知率の調査

折戸凛太郎, 佐藤将也, 山内利宏

情報科学技術フォーラム講演論文集 18th 181 - 182 2019年9月

不揮発性メモリを利用したTenderにおける動作継続制御の基本評価

田中雅大, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 18th 159 - 160 2019年9月

SELinux CILを利用した不要なポリシの削減効果の評価

齋藤凌也, 山内利宏

情報科学技術フォーラム講演論文集 18th 205 - 206 2019年9月

マルチコアTenderのコア間遠隔手続呼出における代行プロセス処理の高速化

藤戸宏洋, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 18th 153 - 154 2019年9月

Kernel Memory Inspection Capability for Malicious Kernel Module Detection 招待

Hiroki Kuzuno, Toshihiro Yamauchi

The 14th International Workshop on Security (IWSEC 2019), Invited session 2019年8月

Threat Analysis of Fake Virus Alerts by Using Web Access Monitoring Mechanism for Android WebView

Rintaro Orito, Koki Riho, Yuta Imamura, Masaya Sato, Toshihiro Yamauchi

The 14th International Workshop on Security (IWSEC 2019), poster 2019年8月

不揮発性メモリを利用したTenderにおける動作継続制御の実現

田中雅大, 山内利宏, 谷口秀夫

情報処理学会研究報告 (2019年並列/分散/協調処理に関する『北見』サマー・ワークショップ (SWoPP2019)) 2019-OS-147 ( 16 ) 1 - 8 2019年7月

カーネルに対する攻撃における独自の仮想記憶空間の切替え手法の検出能力と防御手法

葛野弘樹, 葛野弘樹, 山内利宏

情報処理学会研究報告(Web) 2019 ( CSEC-84 ) 2019年3月

難読化JavaScriptコード解析支援システムの自動化の実現

上原渓一郎, 山内利宏

情報処理学会研究報告(Web) 2019 ( CSEC-84 ) 2019年3月

KVM上のゲストOSにおける権限の変更に着目した権限昇格攻撃防止手法の実現

福本淳文, 山内利宏

情報処理学会研究報告(Web) 2019 ( CSEC-84 ) 2019年3月

KVMにおける機密情報の拡散追跡機能を支援する可視化機構の検討

本田匠, 森山英明, 山内利宏

第81回全国大会講演論文集 2019 ( 1 ) 431 - 432 2019年2月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

近年，計算機上で機密情報が扱われる事例が増加している．これに伴い，外部からの不正アクセスや利用者の誤操作による機密情報の漏えいが増加している．この問題に対処するために，KVMによって仮想化された計算機を用いた，拡散追跡機能を実現している．この機能は，機密情報を操作するシステムコールをフックし，機密情報の拡散を追跡する．この機能の課題点として，拡散情報をテキスト形式で出力しているため，利用者から機密情報の拡散経路を時系列に把握しにくい点が挙げられる．本稿では，拡散されたファイル，プロセスの関係を時系列に把握可能な可視化機構について検討した結果を報告する．

機密情報の拡散追跡機能におけるタイムリーな管理対象把握法

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

第81回全国大会講演論文集 2019 ( 1 ) 25 - 26 2019年2月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

計算機内で管理されている機密情報は，外部へ漏えいすることで，企業や個人にとって大きな損失となる．この問題への対処として，KVMによる仮想計算機環境を利用し，機密情報の外部への拡散を検知し追跡する機能が提案され，実現されている．この機能では，機密情報を操作するシステムコールをフックし情報を取得することで，拡散経路の把握を可能としている．一方，現行のシステムでは，拡散の解析完了を契機として拡散経路をログ出力するため，任意の時点における拡散経路の把握が難しい．本稿では，機密情報の拡散追跡機能について，任意の時点においてタイムリーに拡散経路を把握する手法について，検討した結果を述べる．

KVMを利用した機密情報の拡散追跡機能におけるファイルパス取得処理削減の評価

荒木涼, 森山英明, 山内利宏

第81回全国大会講演論文集 2019 ( 1 ) 433 - 434 2019年2月

担当区分：最終著者,　責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

計算機内で管理されている機密情報は，外部に漏えいすることで，企業や個人にとって大きな損失となる．機密情報を保有するファイルの外部への拡散を検知するために，仮想計算機モニタ(VMM)を利用した機密情報の拡散追跡機能を提案し，実現している．この機能では，機密情報を保有するファイルを操作するシステムコールをフックして情報を取得することで，検知及び拡散経路の通知を可能としている．一方，フックによるシステム応答が問題となっており，いくつかの高速化手法を提案されている．本稿では，KVMを用いた機密情報の拡散追跡機能について，拡散情報の一つであるファイルパス取得処理削減による高速化を適用した際の評価結果について述べる．

KVMにおける機密情報の拡散追跡機能を用いた複数VM監視手法の評価

岡崎俊樹, 森山英明, 山内利宏, 佐藤将也, 谷口秀夫

第81回全国大会講演論文集 2019 ( 1 ) 429 - 430 2019年2月

担当区分：責任著者記述言語：日本語掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）

機密情報を計算機上で扱う機会の増加により，計算機外部に機密情報が漏えいする事例が増加している．そこで，計算機内部における機密情報の拡散状況を把握する機能として，仮想計算機モニタであるKVMを利用した機密情報の拡散追跡機能を提案した．また，KVMにおける機密情報の拡散追跡機能を拡張し，複数の監視対象 VMにおける機密情報拡散をVMM上で一元的に追跡する機構（以降，複数VM監視機構）を提案した．本稿では，複数VM監視機構に関する評価として，複数のVMを同時に操作する状況を想定し，提案手法を評価した結果について報告する．

マルチコアTenderにおけるメモリを介した遠隔手続呼出制御方式

藤戸宏洋, 山内利宏, 谷口秀夫

情報処理学会研究報告(第145回システムソフトウェアとオペレーティング・システム研究発表会) 2019-OS-145 ( 1 ) 1 - 8 2019年2月

過去のＮＩＣ負荷とプロセスのデータ送信量を考慮した複数ＮＩＣ間での負荷分散法査読

谷口秀夫, 吉田泰三, 山内利宏, 佐藤将也

第26回マルチメディア通信と分散処理ワークショップ論文集 68 - 73 2018年10月

KVMを利用した機密情報の拡散追跡機能におけるファイルアクセス性能の評価

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

情報科学技術フォーラム講演論文集 17th 147‐148 2018年9月

権限の変更に着目した権限昇格攻撃防止手法のARMへの拡張 (情報セキュリティ)

吉谷亮汰, 山内利宏

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118 ( 151 ) 177 - 183 2018年7月

SELinux CILを利用した不要なポリシ削減手法の提案 (情報セキュリティ)

齋藤凌也, 山内利宏

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118 ( 151 ) 185 - 192 2018年7月

KVMを利用した機密情報の拡散追跡機能における高速化の評価

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

第80回全国大会講演論文集 2018 ( 1 ) 1 - 2 2018年3月

記述言語：日本語

計算機内で管理されている機密情報は,外部に漏えいすることで,企業や個人にとって大きな損失となる.機密情報を保持したファイルへの誤操作や,外部からの機密情報へのアクセスを検知するために,仮想計算機モニタ(VMM)を利用した機密情報の拡散追跡機能が提案され,実現されている.この機能では,機密情報を操作するシステムコールをフックして情報を取得することで,機密情報の拡散経路を利用者に通知することを可能とする.一方,システムコール発行時に検知処理が発生するため,システムの応答性に関する影響が問題となる.このため,これまでに高速化の手法を提案している. 本稿では、KVM上に実現されている機密情報の拡散追跡機能について,高速化を適用した際の詳細な評価について述べる.

AnT の要求箱通信機能を利用した処理の多重化

本田紘貴, 佐藤将也, 山内利宏, 谷口秀夫

第80回全国大会講演論文集 2018 ( 1 ) 127 - 128 2018年3月

記述言語：日本語

AnT は,マイクロカーネル構造OSである.マイクロカーネル構造OSでは,OS機能の大半をOSサーバとして実現する.このため,OSサーバ間でのサーバプログラム間通信が必要となる.AnT におけるサーバプログラム間通信機構には,要求箱通信方式がある.要求箱通信方式では,要求箱とよばれる領域を作成する.依頼プロセスはこの領域に依頼を登録することで,OSサーバを定めることなく通信できる.この要求箱通信方式とバックグラウンドで処理を行う影OSサーバを用いることで,依頼プロセスが意識せず同じ処理を多重に実行することができる.そこで,本稿では,AnT の要求箱通信機能を利用した処理の多重化を提案する.

独自のカーネル用仮想記憶空間を用いたカーネルモジュール監視手法

葛野弘樹, 葛野弘樹, 山内利宏

情報処理学会シンポジウムシリーズ(CD-ROM) 2018 ( 2 ) 2018年

マルチコアTenderにおけるメモリを介した遠隔手続呼出制御の方式の設計

藤戸宏洋, 山内利宏, 谷口秀夫

情報処理学会研究報告(Web) 2018 ( OS-144 ) 2018年

権限昇格攻撃防止手法における権限の格納位置のランダム化

吉谷亮汰, 山内利宏

情報処理学会シンポジウムシリーズ(CD-ROM) 2018 ( 2 ) 2018年

AndroidにおけるWebViewのWebアクセス観測機構を利用した悪性Webサイトの脅威分析と対策の提案

今村祐太, 折戸凜太郎, CHAIKAEW Kritsana, CHAIKAEW Kritsana, MANARDO Celia, MANARDO Celia, LEELAPRUTE Pattara, 佐藤将也, 山内利宏

情報処理学会シンポジウムシリーズ(CD-ROM) 2018 ( 2 ) 2018年

スタック領域へのガードページ挿入による戻りアドレス書き換え防止手法

溝内剛, 上川先之, 山内利宏

情報処理学会研究報告(Web) 2018 ( CSEC-80 ) 2018年

AndroidにおけるWebViewのWebアクセス観測機構

今村祐太, 上川先之, 石原靖弘, 佐藤将也, 山内利宏

コンピュータセキュリティシンポジウム2017論文集 2017 ( 2 ) 2017年10月

WindowsにおけるUse-After-Free脆弱性攻撃防止手法

伴侑弥, 山内利宏

コンピュータセキュリティシンポジウム2017論文集 2017 ( 2 ) 2017年10月

仮想計算機を用いた重要ファイル保護手法

佐藤将也, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム2017論文集 2017 ( 2 ) 2017年10月

KVM上の複数VMの動作に対応した機密情報の拡散追跡機能

岡﨑俊樹, 森山英明, 山内利宏, 佐藤将也, 谷口秀夫

コンピュータセキュリティシンポジウム2017論文集 2017 ( 2 ) ROMBUNNO.3D3‐1 2017年10月

プロセスの複製による可用性を考慮したライブフォレンジック手法のマルチコア対応と評価

時松勇介, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム2017論文集 2017 ( 2 ) 2017年10月

API操作ログ取得による難読化JavaScriptコード解析支援システム

上川先之, 山内利宏

コンピュータセキュリティシンポジウム2017論文集 2017 ( 2 ) 2017年10月

KVMにおける機密情報の拡散追跡機能の高速化

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

情報科学技術フォーラム講演論文集 16th 191‐192 2017年9月

Editor’s message to special issue of computer security technologies against sophisticated cyber attacks

Toshihiro Yamauchi

Journal of Information Processing 25 ( 0 ) 852 - 853 2017年9月

Use-After-Free脆弱性攻撃防止手法におけるメモリ解放契機の評価 (情報セキュリティ)

伴侑弥, 山内利宏

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117 ( 125 ) 149 - 155 2017年7月

プロセス管理表へのアクセス制御機能の評価 (マルチメディア情報ハイディング・エンリッチメント)

佐藤将也, 山内利宏, 谷口秀夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117 ( 128 ) 157 - 163 2017年7月

Use-After-Free脆弱性攻撃防止手法におけるメモリ解放契機の評価 (マルチメディア情報ハイディング・エンリッチメント)

伴侑弥, 山内利宏

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117 ( 128 ) 149 - 155 2017年7月

プロセス管理表へのアクセス制御機能の評価 (情報セキュリティ)

佐藤将也, 山内利宏, 谷口秀夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117 ( 125 ) 157 - 163 2017年7月

プロセス管理表へのアクセス制御機能の評価 (技術と社会・倫理)

佐藤将也, 山内利宏, 谷口秀夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117 ( 126 ) 157 - 163 2017年7月

OS資源をノード毎に管理するTenderの構成

須頭滉平, 山内利宏, 谷口秀夫

第79回全国大会講演論文集 2017 ( 1 ) 165 - 166 2017年3月

記述言語：日本語

複数のマルチコアプロセッサを搭載するNUMA構成計算機は，サーバなどの高い性能が要求される分野において利用されている． NUMA環境では，コアとメモリの関係を意識したメモリ管理が重要となる．ここで， Tenderオペレーティングシステムでは，マルチコアプロセッサ対応方式として，OS資源を一元的に排他制御し管理する共有型方式とOS資源をコア毎に管理する個別型方式が提案されている．NUMA環境において，共有型方式では，異なるノード間でのメモリアクセス，個別型方式では，コア間の連携がオーバヘッドとなり，性能低下の原因となる．そこで，本稿では，NUMA環境に適した，OS資源をノード毎に管理するTenderオペレーティングシステムの構成について述べる.

Tenderの再利用機能における未使用資源の削除機能

田村大, 山内利宏, 谷口秀夫

第79回全国大会講演論文集 2017 ( 1 ) 167 - 168 2017年3月

記述言語：日本語

Tenderオペレーティングシステムでは，オペレーティングシステムが制御し管理する対象である資源を分離し独立化して管理している．このため，Tenderオペレーティングシステムにおけるプロセスは複数の資源から構成され，個々の資源は独立して存在できる．そこで，プロセスを構成する資源が必要になる前に事前生成したり再利用するために削除せずにメモリ上に未使用資源として保持し，プロセス生成時に使用することで，プロセス生成処理を高速化している．しかし，事前生成と再利用によりメモリ上に保持する資源は，使用されなければメモリ上に保持され続ける問題がある．そこで，本稿では，使用されない資源の削除機能について提案する．

プロセッサの違いに着目した走行モード変更機構の評価

福居誠二, 佐藤将也, 山内利宏, 谷口秀夫

第79回全国大会講演論文集 2017 ( 1 ) 169 - 170 2017年3月

記述言語：日本語

システムコールの発行は，プロセスの走行モードの変更を伴うため，多くのシステムコールの発行を伴う処理において走行モードの変更は大きなオーバヘッドとなる．このオーバヘッドを削減する手法として，プロセスを任意の時点でスーパバイザモードに変更可能にする走行モード変更機構を提案した．また，OS空間を保護するために，仮想空間切り替え方式とセグメント切り替え方式を提案した．ここで，走行モードの変更に伴うオーバヘッドはプロセッサの性能による影響が大きい．本稿では，プロセッサの性能の異なる計算機としてPentium 4とCore i7を搭載した計算機を用い，プロセッサの違いに着目した走行モード変更機構の評価を行う．

未参照バッファ数に着目した入出力バッファ分割法におけるWebサーバ応答時間の評価

河辺誠弥, 山内利宏, 乃村能成, 谷口秀夫

第79回全国大会講演論文集 2017 ( 1 ) 171 - 172 2017年3月

記述言語：日本語

利用者が優先したい処理の実行処理時間を短縮する方式として，ディレクトリ優先方式を提案した．ディレクトリ優先方式は，入出力バッファを優先領域とその他の領域に分割し，指定したディレクトリ下のファイルを優先的にキャッシュする．しかし，優先的にキャッシュするファイルが入出力バッファを圧迫し，それらのファイル以外のファイルのキャッシュヒット率が低下することにより，計算機全体の性能低下を招いてしまう問題がある．そこで，一定期間内に参照されていないバッファ数に着目し，入出力バッファを分割する方式を提案した．提案方式では，優先的にキャッシュされたファイルをキャッシュする領域の下限と減少量を設定することで，優先ファイルのキャッシュヒット率を低下しすぎないようにする．本稿では，提案方式について，Webサーバを使用した評価結果を報告する．

AndroidにおけるWebViewのWebアクセス観測機構の提案

今村祐太, 上川先之, 工藤直樹, 佐藤将也, 山内利宏

第79回全国大会講演論文集 2017 ( 1 ) 551 - 552 2017年3月

記述言語：日本語

Androidを標的とする悪性なWebコンテンツを利用した攻撃が存在する．攻撃を防止するためには，Webアクセスを観測し，攻撃の特性を調査する必要がある．ここで，AndroidにおけるWebアクセスには，Webブラウザによるもの以外に，WebViewを利用するAndroidアプリケーションによるものが存在する．WebブラウザによるWebアクセスはプラグインを用いて観測可能である．一方，WebViewを利用したWebアクセスを観測する機構は存在しない．そこで，本稿では，AndroidにおけるWebViewのWebアクセス観測機構を提案する．提案手法は，WebViewの改変により，WebViewを利用する全てのAndroidアプリケーションのWebアクセスを観測可能にする．

KVMにおける機密情報の拡散追跡機能における性能改善策

森山英明, 山内利宏, 佐藤将也, 谷口秀夫

第79回全国大会講演論文集 2017 ( 1 ) 13 - 14 2017年3月

記述言語：日本語

計算機内で管理されている機密情報は、外部に漏えいすることで、企業や個人にとって大きな損失となる。機密情報を保持したファイルへの誤操作や、外部からの機密情報へのアクセスを検知するために、仮想計算機モニタ(VMM)を利用した機密情報の拡散追跡機能が提案され、実現されている。この機能では、機密情報を操作するシステムコールをフックして確認することで、機密情報が格納されているファイルへの操作内容を利用者に通知することができるが、処理のオーバヘッドが大きいという問題がある。本稿では、KVM上に実現されている機密情報の拡散追跡機能について、ボトルネックとなる箇所を明確化し、オーバヘッド削減策を述べる。

マルチコアAnTのスケジュール機構における優先度逆転抑制効果

鴨生悠冬, 佐藤将也, 山内利宏, 谷口秀夫

第79回全国大会講演論文集 2017 ( 1 ) 157 - 158 2017年3月

記述言語：日本語

オペレーティングシステムは，サービスの要望に即したプロセスのスケジュールが求められるため，優先度逆転を抑制する必要がある．特にマイクロカーネル構造OSでは，OSサーバ間通信において優先度逆転が発生する可能性がある．また，コア毎に独立したスケジューラは，マイクロカーネル構造OSの性能を左右するプロセス切替のオーバヘッドが小さい特徴を持つ．一方，他コア上のプロセス情報を操作できないため，コア間通信を必要とする．そこで，コア毎に独立したスケジューラを有するマイクロカーネル構造OSのAnTにおいて，OSサーバ間通信における優先度逆転を抑制し，かつコア間通信回数を削減するスケジュール機構を提案した．本稿では，このスケジュール機構の優先度逆転抑制効果を計算サーバにより評価した結果を報告する．

マイクロカーネルOSにおけるNICドライバプロセスの入替え性能の比較

澤田淳, 山内利宏, 谷口秀夫

第79回全国大会講演論文集 2017 ( 1 ) 161 - 162 2017年3月

記述言語：日本語

マイクロカーネル構造を有するAnT オペレーティングシステムにおいて，APプロセスが利用中である場合のNICドライバプロセスの入替え時間とデータ送信時間が分析されている．本稿では，NICドライバプロセスの入替え時間とデータ送信時間を分析することで，MINIX3とAnT のOSサーバ入替え性能を比較する．

サーバの並列処理を促進するAnTの一括依頼並列処理機能

村岡勇希, 佐藤将也, 山内利宏, 谷口秀夫

第79回全国大会講演論文集 2017 ( 1 ) 163 - 164 2017年3月

記述言語：日本語

マイクロカーネルOSであるAnTでは，OSサーバへ依頼する処理の依頼情報を制御用ICAに格納し，シーケンシャルに処理する．そこで，本稿では，複数個の制御用ICAを一括して処理依頼することで複数の依頼情報の処理を並列処理する一括依頼並列処理機能について述べる．

Tenderにおけるプロセス構成資源の事前生成による高速プロセス生成機能の評価

田村大, 佐藤将也, 山内利宏, 谷口秀夫

コンピュータシステム・シンポジウム論文集 ( 2016 ) 94 - 101 2016年11月

Tenderにおける資源「入出力」の評価

佐野弘尚, 山内利宏, 谷口秀夫

コンピュータシステム・シンポジウム論文集 ( 2016 ) 20 - 27 2016年11月

Cordovaを利用したハイブリッドアプリケーションにおけるプラグインのアクセス制御方式

工藤直樹, 山内利宏

コンピュータセキュリティシンポジウム2016論文集 2016 ( 2 ) 450 - 457 2016年10月

システムコール処理による権限の変化に着目した権限昇格攻撃の防止手法

赤尾洋平, 山内利宏

コンピュータセキュリティシンポジウム2016論文集 2016 ( 2 ) 542 - 549 2016年10月

CPUエミュレータを利用した実行コード解析システムの提案

上川先之, 山内利宏

コンピュータセキュリティシンポジウム2016論文集 2016 ( 2 ) 668 - 675 2016年10月

制御システムの可用性を考慮したプロセスの複製によるライブフォレンジック手法の提案

時松勇介, 山内利宏

コンピュータセキュリティシンポジウム2016論文集 2016 ( 2 ) 84 - 91 2016年10月

攻撃回避のためのファイル不可視化手法の提案

佐藤将也, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム2016論文集 2016 ( 2 ) 224 - 228 2016年10月

プロセス情報不可視化のための仮想計算機モニタによるメモリアクセス制御機能の評価 (情報セキュリティ)

佐藤将也, 山内利宏, 谷口秀夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116 ( 129 ) 153 - 159 2016年7月

Special section on information and communication system security

Toshihiro Yamauchi

IEICE Transactions on Information and Systems E99D ( 4 ) 785 - 786 2016年4月

D-6-24 マルチコア計算機におけるコア間のタイムスタンプカウンタの評価(D-6.コンピュータシステム,一般セッション)

佐野弘尚, 藤井翔太, 堀井基史, 寺岡明彦, 山内利宏, 松岡武史, 江藤文治, 福井英理, 岩崎秀司

電子情報通信学会総合大会講演論文集 2016 ( 1 ) 78 - 78 2016年3月

D-6-23 マルチコア計算機におけるコア間通信の性能評価(D-6.コンピュータシステム,一般セッション)

藤井翔太, 堀井基史, 佐野弘尚, 寺岡明彦, 山内利宏, 松岡武史, 江藤文治, 福井英理, 岩崎秀司

電子情報通信学会総合大会講演論文集 2016 ( 1 ) 77 - 77 2016年3月

プロセス間通信による機密情報拡散をKVM上で追跡する機能の設計

藤井翔太, 佐藤将也, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム2015論文集 2015 ( 3 ) 191 - 198 2015年10月

プロセス情報不可視化のための仮想計算機モニタよるメモリアクセス制御

佐藤将也, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム2015論文集 2015 ( 3 ) 855 - 860 2015年10月

B-021 CPU資源の割当て制御によるKVMの動作制御評価(B分野:ソフトウェア,一般論文)

森山英明, 木下椋司, 菅沼明, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 14 ( 1 ) 217 - 218 2015年8月

B-023 ファイル読み込み処理におけるAnTオペレーティングシステムのOSサーバの優先度逆転抑制法の評価(B分野:ソフトウェア,一般論文)

鴨生悠冬, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 14 ( 1 ) 221 - 222 2015年8月

B-018 システムコール発行頻度に基づくバッファキャッシュ制御法における重要度更新の遅延方式(B分野:ソフトウェア,一般論文)

寺岡明彦, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 14 ( 1 ) 209 - 210 2015年8月

B-022 通信制御サーバを用いたAnTのOSサーバ入替え機能の評価(B分野:ソフトウェア,一般論文)

澤田淳, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 14 ( 1 ) 219 - 220 2015年8月

プロセス特定困難化のためのプロセス情報の置換手法の評価 (情報セキュリティ)

佐藤将也, 山内利宏, 谷口秀夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115 ( 119 ) 159 - 165 2015年7月

メモリ再利用禁止によるUse-After-Free脆弱性攻撃防止手法の実現と評価 (情報通信マネジメント)

山内利宏, 池上祐太

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115 ( 45 ) 141 - 148 2015年5月

分岐トレース支援機能を用いたカーネルルートキット検知手法の提案 (情報通信マネジメント)

赤尾洋平, 山内利宏

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115 ( 45 ) 9 - 16 2015年5月

D-6-13 マルチコア向けOSにおける割り込み制御法の比較評価(D-6.コンピュータシステムC(高性能ソフトウェアとネットワーク),一般セッション)

田村淳, 山内利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2015 ( 1 ) 77 - 77 2015年2月

AnTオペレーティングシステムにおける効率的なサーバ間通信機構

河上裕太, 山内利宏, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 2015 ( 12 ) 1 - 7 2015年2月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

マルチコアプロセッサ上で動作するマイクロカーネル構造 OS では,OS サーバを各コアに分散することで OS 処理を分散できる.一方,マイクロカーネル構造 OS は,OS サーバ間の連携に多くの通信を必要とする.このため,OS サーバ間での通信を効率化するととは重要である.AnT オペレーティングシステムは,マイクロカーネル構造 OS であり,OS サーバを各コアに分散できる.そこで,プロセスの分散形態を制限することでマルチコア環境での排他制御オーバヘッドを抑制し,高速なサーバ間通信を実現している.しかし,分散形態の制限下において効率的な負荷分散を実現することは困難である.本稿では,AnT における分散形態の制限を撤廃し,効率的な負荷分散を実現するサーバ開通信機構について述べる.

ファイル操作に着目したOS処理分散法

江原寛人, 河上裕太, 山内利宏, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 2015 ( 7 ) 1 - 7 2015年2月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

ファイル操作処理は,OS 処理として実現される.また,マイクロカーネル構造 OS は,ファイル管理処理やディスクドライバ処理といった OS 処理を OS サーバとして実現する.したがって,マルチコアプロセッサ環境において,OS サーバをコア毎に分散することで,OS 処理をコア毎に分散できる.本稿では,マルチコア向け AnT において,ファイル操作処理に関する OS サーバを複数同時起動し,これら OS サーバをコア毎に分散できることを述べる.また,複数の外部記憶装置からの独立したファイル操作処理について,評価結果を報告する.

LinuxとAnTオペレーティングシステムの連携機構の評価

福島有輝, 山内利宏, 乃村能成, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 2015 ( 11 ) 1 - 7 2015年2月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

特定のサービスに適した独自 OS を利用し,さらにマルチコアプロセッサを活かして独自 OS からの既存 OS プログラム利用による独自 OS の利便性向上を目指した Linux と AnT オペレーティングシステムの混載システムを提案した.Linux は,多種の入出力機器の利用を可能とし,かつ既存 OS として普及しており,多くのサービスを実現している.一方,AnT は,マイクロカーネル構造を有し,適応性と堅牢性を特徴とする独自 OS である.この両者の特徴を生かしたサービス提供のために,両 OS の連携機構を設計した.この連携機構は,AnT から Linux にシステムコール代行実行を処理依頼する.本稿では,AnT からの Linux システムコール代行実行の評価について報告する.具体的には,連携機構実現における工数と Linux システムコール代行実行の性能について述べる.

2014年度喜安記念業績賞紹介，セキュアOSの普及に向けた取り組み

中村雄一, 海外浩平, 原田季栄, 半田哲夫, 山内利宏

情報処理 56 ( 8 ) 798 - 799 2015年

LinuxとAnTの連携機構における代行実行処理の多重化の評価

福島有輝, 山内利宏, 乃村能成, 谷口秀夫

情報処理学会研究報告(Web) 2015 ( OS-134 ) 2015年

ファイル操作による機密情報拡散をKVM上で追跡する機能の評価

藤井翔太, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム2014論文集 2014 ( 2 ) 751 - 758 2014年10月

TaintDroidを用いた利用者情報送信の動的制御手法の実現と評価

小倉禎幸, 山内利宏

コンピュータセキュリティシンポジウム2014論文集 2014 ( 2 ) 789 - 796 2014年10月

国際会議 ASIACCS2014 報告

穴田啓晃, 佐藤将也, 山内利宏, 堀良彰, 盛合志帆, 櫻井幸一

コンピュータセキュリティシンポジウム2014論文集 2014 ( 2 ) 1327 - 1334 2014年10月

メモリ再利用を禁止するライブラリによりUse-After-Free脆弱性攻撃を防止する手法の提案

池上祐太, 山内利宏

コンピュータセキュリティシンポジウム2014論文集 2014 ( 2 ) 567 - 574 2014年10月

未参照バッファ数に着目した入出力バッファ分割法

山本光一, 土谷彰義, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2014 ( 5 ) 1 - 8 2014年7月

記述言語：日本語

利用者が優先して実行したい処理（優先処理）の実行処理時間を短縮する方式として，ディレクトリ優先方式を提案した．この方式は，入出力バッファを二つの領域に分割し，指定したディレクトリ直下のファイル（優先ファイル）を優先的にキャッシュする．これにより，優先処理が頻繁にアクセスするファイルを優先ファイルとすることで，優先処理の実行処理時間を短縮できる．しかし，ディレクトリ優先方式は，優先ファイル以外のファイル（非優先ファイル）のキャッシュヒット率を著しく低下させ，悪影響を生じさせることがある．そこで，本稿では，領域のサイズを更新するまでの期間内に参照されてないバッファ数に着目し，このバッファがない方の領域のサイズを増加させる方式を提案する．提案方式は，優先ファイルをキャッシュする領域の下限を設定するパラメータを用いることで，優先ファイルをキャッシュする領域のキャッシュヒット率が低下しすぎないようにしている．また，カーネル make 処理と Web サーバ処理において提案方式を評価した結果を報告する．

Tenderにおけるプロセス間通信データ域に特化したプロセス間通信の設計

川野直樹, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2014 ( 22 ) 1 - 8 2014年7月

記述言語：日本語

協調処理では，プロセス間通信の性能が処理性能に大きな影響を与える．このため，プロセス間通信の高速化が必要である．本稿では，Tender オペレーティングシステムにおいて，プロセス間通信に特化した領域（プロセス間通信データ域）を実現し，この領域を利用したプロセス間通信の設計と実現方式について述べる．プロセス間通信データ域とは，プロセス間の複写レスでのデータ授受機能を支援する領域である．プロセスは，この領域を利用して通信することにより，複写レスなデータ授受と仮想アドレスから実アドレスへの変換の高速化を実現し，プロセス間通信を高速化できる．また，評価では，Tender オペレーティングシステムの既存のプロセス間通信との処理時間の比較結果を報告する．

KVMにおける機密情報の拡散追跡機能の設計 (マルチメディア情報ハイディング・エンリッチメント)

藤井翔太, 山内利宏, 谷口秀夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114 ( 118 ) 187 - 193 2014年7月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

計算機内の機密情報が拡散する状況を追跡し,機密情報を有する資源を把握する機能として機密情報の拡散追跡機能をOS内に実現した.しかし,機密情報の拡散追跡機能には,導入の際に対象のOSのソースコードを修正する必要があること,およびOS自体を攻撃されると,機密情報の拡散追跡機能が無効化される危険性が存在する問題がある.そこで,KVMにおける機密情報の拡散追跡機能を設計した.機密情報の拡散追跡機能をKVM内に実現することにより,導入対象OSのソースコードを修正する必要がなくなり,より多くの環境に導入可能になる.また,機密情報の拡散追跡機能をOSから隔離できるため,機密情報の拡散追跡機能への攻撃をより困難にできる.

プロセス関連情報の不可視化によりプロセスの識別を困難にする攻撃回避手法

佐藤将也, 山内利宏

コンピュータセキュリティシンポジウム2013論文集 2013 ( 4 ) 1042 - 1049 2013年10月

情報漏洩を契機とした攻撃者探査システムの提案

池上祐太, 山内利宏

コンピュータセキュリティシンポジウム2013論文集 2013 ( 4 ) 17 - 24 2013年10月

B-008 Tenderにおける効率的なページアウト規則の実現(B分野:ソフトウェア,一般論文)

濱口知之, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 12 ( 1 ) 231 - 232 2013年8月

L-011 アンチデバッグ機能に着目したマルウェア検出手法(L分野:ネットワーク・セキュリティ,一般論文)

吉崎広太, 山内利宏

情報科学技術フォーラム講演論文集 12 ( 4 ) 219 - 220 2013年8月

L-001 ライブラリの置き換えによるVM外部への安全なログ転送方式における応用プログラムを用いた性能評価(L分野:ネットワーク・セキュリティ,一般論文)

佐藤将也, 山内利宏

情報科学技術フォーラム講演論文集 12 ( 4 ) 185 - 186 2013年8月

マルチコアTenderにおける排他制御の細粒度化による並列性向上手法

山本貴大, 山内利宏, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 2013 ( 16 ) 1 - 8 2013年7月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

近年,マルチコアプロセッサの普及に伴い,オペレーティングシステム (以降,OS) のマルチコア対応が必要となっている.OS のマルチコア対応における課題として処理の並列性の向上がある.Tender オペレーティングシステム (以降,Tender) では,Tender 特有の OS 構造である資源インタフェース制御において一元的に排他制御することで修正工数を抑制し,マルチコア対応を実現した.このとき,資源インタフェース制御において資源の種類ごとに排他制御することで異なる種類の資源の並列処理を実現した.しかし,本手法では,同じ種類の資源を並列に処理することができない.本稿では,マルチコア向け Tender (以降,マルチコア Tender) において一元的な排他制御構造を維持しつつ,排他制御を細粒度化する手法について述べる.これにより,同じ種類の資源の並列処理を実現し,処理の並列性を向上させる.このとき,修正に要した工数について評価する.また,マイクロベンチマークを使用し,Linux,および FreeBSD と比較することでマルチコア Tender の性能を評価する.

細粒度の情報追跡による機密情報送信の動的制御手法 (マルチメディア情報ハイディング・エンリッチメント)

小倉禎幸, 山内利宏

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 138 ) 135 - 141 2013年7月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

近年,Android端末の普及に伴い,Androidを標的とするマルウェアが増加し,マルウェアへの対策が重要視されている.特に,マルウェアによる端末外部への機密情報の漏洩が問題となっている.この問題に対処するために,機密情報の伝搬を追跡し,機密情報が外部に漏洩する際に利用者の判断に従ってAPの動作を動的に制御する手法を提案する.具体的には,提案手法は,TaintDroidを利用し,機密情報の伝搬を変数レベルで細粒度に追跡する.端末外部に機密情報が漏洩する場合,利用者の判断に従ってAPの動作を制御する.これにより,端末外部への機密情報の漏洩を防止する.また,端末外部に送信される機密情報をダミーデータに置換し,機密情報の漏洩を防止する.これにより,APの正常な動作をできるだけ妨げることなく機密情報の漏洩を防止できる.さらに,AP間で機密情報のやり取りがあった場合,機密情報の漏洩に関わったAP名を取得し,機密情報の伝搬経路を把握する.これにより,利用者は機密情報の漏洩の伝搬経路とその漏洩に関わったAPを正確に把握し,漏洩要因の各APに対処できる.

ライブラリの置き換えによるVM外部への安全なログ転送方式の評価 (マルチメディア情報ハイディング・エンリッチメント)

佐藤将也, 山内利宏

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 138 ) 121 - 128 2013年7月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

ログは,計算機の動作を把握するための重要な情報である.しかし,攻撃や問題の発生により,ログの改ざんや消失が起こる可能性がある.この問題への既存の対処の多くは,対処する以前にログを改ざんされる恐れがある.また,VM上のOSの種類に応じた対処や性能低下が問題となる.これらの問題への対処として,ライブラリの置き換えによるVM外部への安全なログ転送方式を提案した.提案方式では,ログ発行時にVMMにログの転送を依頼するように,VM上のライブラリを置き換える.VMMはVMからログを取得し,ログの取得元とは異なるVMで保存する.これにより,多種のOSへ容易に適用でき,性能低下の小さい方式を実現した.本稿では,提案方式の評価について述べる.提案方式の有効性を示すために,ログの改ざんを防止できるか検証した.また,多種のOSへの適用の容易さを評価した.性能評価では,APの性能への影響と複数台のVMを走行させた場合の性能の変化を評価した.

2012年度論文賞の受賞論文紹介：仮想計算機技術のセキュリティ技術への応用

佐藤将也, 山内利宏

情報処理 54 ( 8 ) 815 - 815 2013年7月

AnTオペレーティングシステムにおける低機能MMUの制御法

鶴谷昌弘, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2013 ( 11 ) 1 - 7 2013年2月

記述言語：日本語

計算機の多様な利用を支える高い適応性と堅牢性を実現できるOSが必要となっており，これを実現するOSプログラム構造としてマイクロカーネル構造がある．マイクロカーネルOSは，OS機能の大半をOSサーバとして実現するため，OSサーバ間でプログラム間通信が頻発し，モノリシックカーネルOSに比べ性能が低下する．このため，データ複写レスによる通信により，OSサーバ間での授受データの複写オーバヘッドを低減している．しかし，低機能MMUでは，データ複写レスであっても通信時に発生するTLBミスに伴う処理オーバヘッドが大きい．そこで，マイクロカーネルOSにおける低機能MMU制御法を提案する．提案制御法は，サーバプログラム間通信で利用する領域についてはページテーブルを利用することなく，TLBエントリでページの割り当てを管理し，TLBミスを発生させないことによりサーバプログラム間通信を高速化する．SH-4を例として，提案制御法をAnTオペレーティングシステムに実現する方式を示し，性能評価の結果を報告する．

仮想化技術による安全なファイルアクセスログ外部保存機構

安藤類央, 橋本正樹, 山内利宏

情報処理学会論文誌ジャーナル(CD-ROM) 54 ( 2 ) 2013年

ライブラリの置き換えによるVM外部への安全なログ転送方式の提案

佐藤将也, 山内利宏

研究報告コンピュータセキュリティ（CSEC） 2012 ( 6 ) 1 - 8 2012年12月

記述言語：日本語

ログは，計算機の動作を把握するための重要な情報である．しかし，攻撃や問題の発生により，ログの改ざんや消失が起こる可能性がある．この問題へ対処するために，ログを保護する手法が提案されている．しかし，手法の多くは AP や OS で実現されており，カーネルレベルで動作するマルウェアからログを保護するのは難しい．そこで，我々は， VMM を用いたログの保護方式を提案した．しかし，この方式では，複数の VM において多種の OS が利用される場合，それぞれの OS に対応するように VMM を修正する必要があり，その工数が大きい．そこで，複数 VM 上の多種の OS に最小限のプログラムの修正により対応可能な， AP の出力するログの保護方式を提案する．提案方式は，ログ発行時に特定の命令を実行するように， VM 上のライブラリをあらかじめ置き換える． VMM は，この命令を契機にログを保護する．このため，提案方式は OS の種類に依存しない．

SEAndroidの拡張によるAPの動的制御手法の提案

矢儀真也, 山内利宏

コンピュータセキュリティシンポジウム2012論文集 2012 ( 3 ) 130 - 137 2012年10月

AnTオペレーティングシステムにおけるドライバプロセス入替え機能

蓮岡宜明, 鶴谷昌弘, 山内利宏, 谷口秀夫

マルチメディア通信と分散処理ワークショップ論文集 2012 ( 4 ) 202 - 209 2012年10月

AnTオペレーティングシステムにおけるマルチコア環境での負荷分散評価

佐古田健志, 枡田圭祐, 蓮岡宜明, 山内利宏, 谷口秀夫

情報処理学会研究報告. EIP, [電子化知的財産・社会基盤] 2012 ( 31 ) 1 - 7 2012年9月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

マイクロカーネル構造 OS は,高い適応性と堅牢性をあわせ持つ.また, LSI 技術の進歩によりマルチコアプロセッサが登場した.そこで,このマルチコアプロセッサ上で,マイクロカーネル構造 OS を走行させ, OS サーバを各コアに分散できれば, OS 処理の負荷分散が可能になる.これにより, OS 処理の負荷が大きいトランザクション処理をマルチコア環境で有効に提供できる.本稿では,マルチコア環境で動作するマイクロカーネル構造の AnT オペレーティングシステムにおいて, OS 処理を分散させたときの評価結果を報告する.具体的には,基本性能の評価として,ブロック単位でのデータ参照時の分散形態による性能の違いを報告する.また, PostMark と Bonnie を用いて,分散形態による分散効果を報告する.

マルチコアTenderの開発

山本貴大, 長井健悟, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2012 ( 4 ) 1 - 8 2012年7月

記述言語：日本語

近年，プロセッサのコア数は増加してきており，処理性能を向上させるためには，OS のマルチコアプロセッサへの対応が必要である．OS のマルチコア対応の手法として，ジャイアントロックがある．しかし，ジャイアントロックは，カーネル処理の並列性が失われるため，性能が低下するという欠点がある．したがって，マルチコアにおいてカーネル処理の性能を向上するためには，細粒度ロックを用いることが望ましい．本稿では，Tender をマルチコアに対応させる際の方式について述べる．マルチコアへの対応を行う上で，Tender の OS 構造に着目することにより，修正工数の削減を図りつつ，OS 処理の並列性を向上させることを目指す．また，マルチコアへ対応した Tender の修正工数と性能を評価した．In recent years, the number of processor cores has been increasing, therefore it is necessary to support multicore processor of the OS, in order to improve processing performance. There is a giant lock as a method of multicore support of the OS. However, the giant lock has the disadvantage that performance decreases, because parallelism of the kernel processing is lost. Therefore, in order to improve the performance of kernel processing on multicore, it is desirable to use a fine-grained lock. In this paper, we describe the method of multicore support in Tender. The goal is to reduce modified quantity, and to improve that of the parallelism of OS processing by focus on OS structure in supporting to multicore. In addition, we evaluate modified quantity to support multicore, and the performance of the multicore Tender.

AnTにおけるSH-4向けサーバプログラム間通信機構の高速化手法の評価

鶴谷昌弘, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2012 ( 7 ) 1 - 7 2012年4月

記述言語：日本語

マイクロカーネル構造の AnT オペレーティングシステムは，Pentium4 プロセッサ上で走行し，高速なサーバプログラム間通信機構を有する．そこで，代表的な組み込みプロセッサの 1 つである SH-4 プロセッサへ移植し，サーバプログラム間通信機構の性能を評価した．しかし，単に移植しただけでは，高性能を期待できない．これを解決するため，SH-4 向けのサーバプログラム間通信機構の高速化手法を提案する．本稿では，SH-4 向けサーバプログラム間通信機構の高速化手法について述べ，高速化の効果について評価する．AnT is an operating system based on microkernel architecture. AnT has a fast inter-server program communication (ISPC) mechanism, and works on Pentium4 processor. AnT had ported to SH-4 processor that one of the representative embedded processors, and had evaluated performance of ISPC. However, ISPC is required higher performance than that of AnT simply porting. Therefore, fast method of ISPC for SH-4 is proposed in this paper. This paper shows the proposed method, and evaluations of it.

Tenderオペレーティングシステムにおける入出力性能調整機能の評価

一井晴那, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2012 ( 6 ) 1 - 8 2012年4月

記述言語：日本語

プログラムは，PU 処理と I/O 処理を繰り返しながら処理を進める．このため，プロセスが利用できるプロセッサ性能の量や入出力性能の量を制御することにより，プログラムの実行速度を調整できる．我々は，Tender に資源「入出力」による入出力性能調整機能を実現した．資源「入出力」を導入することにより，プロセスの入出力性能を保証および制限することができる．ここでは，Tender に実現した入出力性能調整機能の評価について述べる．具体的には，占有状態における調整精度，他プロセスの影響，および許容値の更新有無がスループットに及ぼす影響について述べる．Executing a program repeats PU processing and I/O processing, hence we can regulate program execution time by regulating CPU performance or I/O performance which process can use. We proposed the mechanism for regulating I/O performance by I/O resources on the Tender operating system and implemented it. I/O resources enable a process to guarantee and regulate I/O performance of process. In this paper, we evaluate the mechanism for regulating I/O performance on Tender Operating System. The evaluation results show the precision without other process, the influence on precision by the other process, and the influence on throughput by tolerance.

Android における情報伝搬の追跡と漏洩防止手法の提案

奥田健嗣, 中務亮, 山内利宏

電子情報通信学会技術研究報告. ICSS, 情報通信システムセキュリティ : IEICE technical report 111 ( 495 ) 5 - 10 2012年3月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

Androidのアプリケーションプログラム(以降,APと略す)は,インテントの使用や,利用者によるパーミッションの承認により,他のAPとの連携や,個人情報の操作が可能となる.しかし,利用者は,APが他のAPとの連携や,個人情報の取得をいつ行っているのかを知ることができない.このため,APがマルウェアだった場合,利用者は個人情報の漏洩に気づかない可能性がある.そこで,本稿では,情報伝搬を追跡し,情報漏洩の可能性がある場合に利用者に警告する手法を提案する.提案手法は,個人情報取得APIを使用したAPを監視し,監視しているAPが外部と通信するAPIを使用したときに警告を表示することで実現する.また,監視しているAPがインテントにより別のAPと連携した場合,連携先のAPも監視する.提案手法は,警告を表示した際に外部と通信するAPIの使用可否の入力を利用者に促し,入力結果に応じてAPIの使用を制御する.また,APIの使用可否を利用者に入力させる際,その判断を支援するため,情報伝搬経路を可視化する.

D-6-16 AnTにおけるSH-4向けサーバプログラム間通信の高速化手法(D-6.コンピュータシステムC(ソフトウェア),一般セッション)

鶴谷昌弘, 山内利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2012 ( 1 ) 77 - 77 2012年3月

D-6-18 高精度な周期実行制御法のSH-4環境での評価(D-6.コンピュータシステムC(ソフトウェア),一般セッション)

古川友樹, 山内利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2012 ( 1 ) 79 - 79 2012年3月

D-19-6 機密情報の拡散追跡機能の分散環境への対処法(D-19.情報通信システムセキュリティ,一般セッション)

大坪展人, 山内利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2012 ( 2 ) 213 - 213 2012年3月

D-6-13 マルチコア向けTenderの開発(D-6.コンピュータシステムC(ソフトウェア),一般セッション)

長井健悟, 山内利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2012 ( 1 ) 74 - 74 2012年3月

D-6-14 マルチコアTenderにおける資源「周期タイマ」の実現(D-6.コンピュータシステムC(ソフトウェア),一般セッション)

山本貴大, 長井健悟, 山内利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2012 ( 1 ) 75 - 75 2012年3月

D-6-15 AnTオペレーティングシステムにおけるNICドライバプロセス入れ替え機能(D-6.コンピュータシステムC(ソフトウェア),一般セッション)

蓮岡宜明, 鶴谷昌弘, 山内利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2012 ( 1 ) 76 - 76 2012年3月

ディレクトリ優先方式における効果的な優先ディレクトリの設定法

松原崇裕, 土谷彰義, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2012 ( 9 ) 1 - 8 2012年2月

記述言語：日本語

利用者が優先して実行したい処理（優先処理）の実行時間を短縮する方式として，ディレクトリ優先方式を提案した．この方式は，優先処理が頻繁にアクセスするファイルを直下に多く有するディレクトリを優先ディレクトリとし，優先ディレクトリ直下のファイルを優先的にキャッシュする．しかし，優先処理の動作内容に関する知識を持たない利用者が，優先処理の実行時間を短縮するのに効果的な優先ディレクトリを設定することは難しい．そこで，本稿では，優先ディレクトリを自動的に設定する手法について述べ，評価により有効性を示す．For improving performance of high priority processing, we proposed a directory oriented buffer cache mechanism. This mechanism gives high priority to directories, which are associated with high priority processing. Files in high priority directories are cached with the high priority. However, it is difficult to set effective directories without knowledge about behavior of high priority processing. This paper describes method which automatically set effective directories. Additionally, this paper describes the effectivity of this method by evaluation.

プログラム記述とプロセッサの高性能化機構の関係

古川友樹, 山内利宏, 谷口秀夫

夏のプログラミング・シンポジウム2011報告集 57 - 64 2012年1月

Preface

Goichiro Hanaoka, Toshihiro Yamauchi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7631 LNCS 2012年

キャッシュヒット率に着目した入出力バッファの自動分割法

土谷彰義, 山内利宏, 谷口秀夫

コンピュータシステム・シンポジウム論文集 ( 2011 ) 62 - 72 2011年11月

機密情報の拡散経路を可視化する機能の提案

福島健太, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム2011 論文集 2011 ( 3 ) 367 - 372 2011年10月

統合仮想化システムモニタを用いたマルウェアのプロファイリング

安藤類央, 高橋一志, 田端利宏, 須崎有康

コンピュータセキュリティシンポジウム2009 (CSS2009) 論文集 2009 ( 2009 ) 1 - 6 2011年10月

Tenderオペレーティングシステムにおける資源「入出力」の実現と評価

一井晴那, 長尾尚, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2011 ( 19 ) 1 - 8 2011年7月

記述言語：日本語

個々のプログラムの実行速度を調整することができれば，利用者が重要でないと判断するプログラムの実行速度を制限することで，重要なプログラムの実行速度の低下を抑制できる．Tender オペレーティングシステムでは，資源「演算」を利用したプロセッサ性能の調整機能を実現している．しかし，プロセッサ性能を調整しても，入出力処理の影響を受けるため，プログラムの実行速度が低下する．そこで，Tender に入出力性能性能調整機能として資源「入出力」を提案した．ここでは，Tender における資源「入出力」による入出力性能調整機能の実現方式と評価について述べる．For the mechanism of regulating the speed of program execution individually, it prevents the speed of necessary program execution by limiting the speed of unnecessary program execution. We proposed the mechanism for regulating processor performance by Execution resources on the Tender operating system. However, limiting the speed of program execution by regulating processor performance is affected by I/O processing, and the speed of program execution does slow down. Therefore, we proposed I/O resources for regurating I/O performance on Tender. In this paper, we show implementaion of regurating I/O performance by I/O resources on Tender, and evaluate it.

SH-4上で動作するAnTオペレーティングシステムのサーバプログラム間通信機構の評価

鶴谷昌弘, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2011 ( 12 ) 1 - 8 2011年7月

記述言語：日本語

マイクロカーネル構造の AnT オペレーティングシステムは，高速なサーバプログラム間通信機構を持ち，Pentium4 上で性能評価が行われている．また，SH-4 に移植されている．ここでは，SH-4 上でサーバプログラム間通信機構の基本処理の性能を測定し，Pentium4 上での測定結果と比較評価した結果を述べる．また，評価結果を基に，SH-4 の特徴を生かしたサーバプログラム間通信の高速化手法を述べる．AnT is an operating system based on microkernel architecture. AnT has a fast inter-server program communication mechanism, and has been evaluated performance of the mechanism on Pentium4. On the other hand, AnT has been ported to SH-4. In this paper, we evaluate basic performance of the inter-server program communication for AnT executed on SH-4 by comparing with AnT executed on Pentium4. In addition, this paper describes speedup techniques utilizing features of SH-4 of the communication between server programs.

Tenderオペレーティングシステムにおける実メモリ交換機能を用いたプロセス間通信機能

難波宏則, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2011 ( 13 ) 1 - 7 2011年7月

記述言語：日本語

プロセス間通信は，プロセス間協調処理で多く利用されている．このため，プロセス間通信を高速化することは，システム全体の性能向上に繋がる．Tender におけるプロセス間通信は，コンテナボックスを経由してコンテナをやり取りする方式とコンテナボックスを経由せずプロセス間で直接コンテナをやり取りする方式がある．本稿では，Tenderにおけるプロセス間通信を高速化する手法を提案する．具体的には，実メモリ交換機能を利用したプロセス間通信を実現する．また，提案手法によるプロセス間通信の送受信処理時間を評価する．Interprocess communication (IPC) is often used to the cooperation processing between processes. Therefore, the performance enhancement of IPC affects the performance enhancement of the whole system. There is two IPC methods in Tender : one of the method is exchange container through containerbox, and the other method is exchange container between processes without containerbox. In this paper, we propose the technique for the speed-up of the interprocess communication in Tender. Concretely, we archieves IPC using the physical memory exchange function. In addition, we evaluated the sending and receiving processing time of the IPC by the proposed technique.

キャッシュヒット率に着目した入出力バッファ分割法

土谷彰義, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2011 ( 18 ) 1 - 9 2011年7月

記述言語：日本語

入出力バッファのキャッシュヒット率を向上させることにより，利用者が優先して実行したい処理（優先処理）の実行処理時間を短縮する方式として，ディレクトリ優先方式が提案されている．ディレクトリ優先方式は，指定したディレクトリ直下のファイル（優先ファイル）を優先的にキャッシュする．したがって，優先処理が頻繁にアクセスするファイルを直下に有するディレクトリを指定することにより，優先処理の実行処理時間を短縮できる．しかし，優先ファイルとその他のファイルをキャッシュする量として，最適な値を設定することは難しい．そこで，本稿では，キャッシュヒット率に着目し，動的に優先ファイルとその他のファイルのキャッシュ量を決定し設定する方式について述べる．Performance of high priority processing can be improved by improving the cache hit ratio in I/O buffer. Thus, we proposed a directory oriented buffer cache mechanism. This mechanism gives a high priority to important directories, which are associated with high priority processing. Files in important directories are important files. Blocks of important files are given a high priority for caching. Therefore, performance of high priority processing is improved. However, it is difficult to set the appropriate amount of cached blocks of important files. This paper proposes I/O buffer partitioning method based on cache hit ratio. This method dynamically decides and changes the amount of cached blocks of important and unimportant files.

仮想計算機モニタによるカーネルログ取得機能の実現と評価

佐藤将也, 山内利宏

研究報告コンピュータセキュリティ（CSEC） 2011 ( 28 ) 1 - 8 2011年7月

記述言語：日本語

計算機の動作を把握するためには，計算機上のログが重要である．しかし，攻撃や問題の発生によりログの改ざんや喪失が起こる可能性がある．この問題に対処するため，仮想計算機モニタ（以降，VMM）を用いてログの改ざんと喪失を防止するシステムを提案する．提案システムでは，対象の仮想計算機（以降，VM）で動作している応用プログラム（以降，AP）とオペレーティングシステム（以降，OS）のログを，ゲスト OS のソースコードの修正なしに VMM が取得する．また，取得対象となる VM からログを隔離することで，取得したログの安全性を確保できる．さらに，ログを隔離し多重化することでログの改ざんを検出できる．本論文では，提案システムのうち，OS の出力するログの改ざんの検出と喪失を防止する機能を実現し，評価した結果を報告する．Logging information is necessary in order to understand a computer's behavior. However, there is a possibility that attackers will delete logs to hide the evidence of their attacking and cheating. Moreover, various problems might cause the loss of logging information. To address these issues, we propose a system to prevent tampering and loss of logging information using a virtual machine monitor (VMM). In this system, logging information generated by the operating system (OS) and application program (AP) working on the target virtual machine (VM) is gathered by the VMM without any modification of the kernel source codes. The security of the logging information is ensured by its isolation from the VM. In addition, the isolation and multiple copying of logs can help in the detection of tampering. This paper describes the implementation and evaluation of the mechanism that protects logging information generated by the OS.

SELinux の不要なセキュリティポリシ削減手法の設計と評価

矢儀真也, 中村雄一, 山内利宏

電子情報通信学会技術研究報告. ICM, 情報通信マネジメント : IEICE technical report 111 ( 30 ) 71 - 76 2011年5月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

SELinuxのセキュリティポリシは設定が難しいため,汎用的なポリシを利用することが多い.しかし,このポリシは,個々のシステムに必要のない権限を許可している可能性がある.また,ポリシが占有するメモリ使用量が多く,組み込み機器には適していない.これらの問題への対処として,不要なポリシを自動で検出し,削減する手法を提案する.また,システム管理者にポリシの修正を提案し,システムのセキュリティを向上させ,ポリシのメモリ使用量を削減できる.本論文では,SELinuxのポリシの問題点と対処方法を示し,設計と評価について報告する.

SELinuxの不要なセキュリティポリシ削減手法の設計と評価

矢儀真也, 中村雄一, 山内利宏

研究報告コンピュータセキュリティ（CSEC） 2011 ( 13 ) 1 - 6 2011年5月

記述言語：日本語

SELinux のセキュリティポリシは設定が難しいため，汎用的なポリシを利用することが多い．しかし，このポリシは，個々のシステムに必要のない権限を許可している可能性がある．また，ポリシが占有するメモリ使用量が多く，組み込み機器には適していない．これらの問題への対処として，不要なポリシを自動で検出し，削減する手法を提案する．提案手法は，SELinux が出力するログを利用して不要なポリシを検出する．また，システム管理者にポリシの修正を提案し，システムのセキュリティを向上させ，ポリシのメモリ使用量を削減できる．本論文では，SELinux のポリシの問題点と対処方法を示し，設計と評価について報告する．In many cases, general security policy is used because of the difficulty of creating security policy. However, this security policy is possible to allow excessive rights in system. In addition, it is difficult to use this security policy in embedded systems because of the memory footprint. To deal with these problems, we propose a method system automatically detects redundant security policies by using log SELinux outputs and deletes them. The proposed system also suggests system administrator and improves security of the system and reduces the memory footprint. This paper shows the problems of security policy and dealing with them. This paper also shows design and evaluation.

周期実行制御における周期超過防止法の周期処理分割に関する評価

古川友樹, 山内利宏, 谷口秀夫

第73回全国大会講演論文集 2011 ( 1 ) 39 - 40 2011年3月

記述言語：日本語

ロボットのモータ制御やセンサ制御における処理は周期的に実行される．周期的に実行される処理は次の周期までに処理を終了する必要があり，次の周期までに処理が終了しない場合，予定されていた処理の実行が行われず，問題となる．一方，周期実行される処理の開始から終了までの時間は，実入出力処理時間の変動やタイマ割り込み処理の影響により一定でない．そこで，処理の実行状況を記録し，次の周期までに処理が終了できるか否か判定し，超過すると判定した場合，終了時刻までに終了できる適切な処理を起動できる方法を提案した．ここでは，提案手法の周期処理分割に関する評価について述べる．

Tenderオペレーティングシステムにおける資源「入出力」の提案 (システムソフトウェアとオペレーティング・システム(OS) Vol.2011-OS-116)

長尾尚, 一井晴那, 山内利宏, 谷口秀夫

情報処理学会研究報告 2010 ( 5 ) 1 - 7 2011年2月

記述言語：日本語出版者・発行元：情報処理学会

プログラムは，プロセッサ処理と入出力処理を繰り返しながら処理を進める．Tender オペレーティングシステムでは，プロセッサ処理時間の割当単位を資源「演算」で表し，資源「演算」の関係を木構造で管理することにより，プロセスやプロセスグループ単位のプロセッサ性能の調整機能を実現している．ここでは，入出力処理時間の調整単位を表す資源「入出力」を導入し，資源「演算」と同様に木構造で管理することにより，プロセスやプロセスグループ単位の入出力性能の調整機能を提案する．A program executes CPU processing and I/O processig. We proposed a mechanism for regulating the processor performance of process and process groups on T ender operating system. Proposed mechanism manages relations between Execution resources that encapsulate a unit of CPU usage time in hierarchy structure. In this paper, we propose a mechanism for regulating the I/O performance of process and process groups. This mechanism manages relations between I/O resources that encapsulate a unit of I/O processing time in hierarchy structure as well as previously proposed mechanism.

周期実行制御における周期超過防止法の設計と評価

古川友樹, 山内利宏, 谷口秀夫

電子情報通信学会技術研究報告. CPSY, コンピュータシステム 110 ( 278 ) 23 - 28 2010年11月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

周期的に実行される処理は次の周期までに処理を終了する必要があり,次の周期までに処理が終了しない場合,予定されていた処理の実行が行われず,問題となる.一方,周期実行される処理の開始から終了までの時間は,実入出力処理時間の変動やタイマ割り込み処理の影響により一定でない.そこで,処理の実行状況を記録し,次の周期までに処理が終了できるか否か判定し,超過する場合,終了時刻までに終了できる適切な処理を起動できる方法を提案した.ここでは,提案方式の設計と評価について述べる.

AnT における通信制御サーバ入れ替え処理の評価

藤原康行, 井上喜弘, 後藤佑介, 山内利宏, 乃村能成, 谷口秀夫

マルチメディア通信と分散処理ワークショップ2010論文集 2010 ( 11 ) 99 - 104 2010年10月

Linuxのセキュリティ機能 : 3．セキュリティポリシー設定簡易化手法

中村雄一, 山内利宏

情報処理 51 ( 10 ) 1268 - 1275 2010年10月

L-033 ファイル操作による情報伝搬の追跡機能と可視化機能(L分野:ネットワーク・セキュリティ,一般論文)

中務亮, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 9 ( 4 ) 251 - 252 2010年8月

B-038 周期実行制御における超過処理防止法の実現方式(B分野:ソフトウェア,一般論文)

古川友樹, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 9 ( 1 ) 367 - 368 2010年8月

周期実行制御における処理終了予定時刻超過の検出と対処

古川友樹, 山内利宏, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 115 W1 - W6 2010年8月

記述言語：日本語出版者・発行元：情報処理学会

ロボットのモータ制御やセンサ制御における処理は周期的に実行される．このように周期的に実行される処理には制限があり，終了予定時刻までに処理を終了する必要がある．周期実行制御を実現する方法として，様々なリアルタイムスケジューリングアルゴリズムが提案されている．しかし，何らかの原因により，終了予定時刻までに処理が終了しない場合への対処は全くなされていない．ロボットなどの組み込みシステムでは，より細かな制御を行うため，周期実行される処理の周期が短くなっている．また，実行する処理が高度化しており，それに伴い機能拡充の要請が多い．ここでは，処理終了予定時刻が近付くと，その旨を周期的に実行される処理に通知し，終了予定時刻までに行える適切な処理を実行できるシステムについて述べ，システムの基本的な処理機構を示す．The processing to control the motor or the sensor in a robot is executed periodically. Such a processing has a limitation and must be finished before a deadline. Many real-time scheduling algorithms have been proposed to implement periodic scheduling. However, there is no method to deal with the case that the processing is not finished before a deadline. In embedded systems such as robots, the period of the processing executed periodically have shortened to realize a higher control. In addition, the processing is heightened, and there are many requests of the functionality expansion for it. In this paper, we propose the system to inform the processing that a deadline is near and execute a processing finished before the deadline. Also, we show a basic processing mechanism of our system.

Tender の世代管理機能の実現

長井健悟, 山本悠太, 山内利宏, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 115 B1 - B8 2010年8月

記述言語：日本語出版者・発行元：情報処理学会

計算機の主記憶は揮発性であるため，計算機の電源切断により，主記憶上のデータは消失する．このため，我々は，Tender オペレーティングシステムにおいて，計算機状態を永続化する動作継続制御を提案した．動作継続制御は，仮想記憶空間を利用して主記憶上のデータを不揮発性記憶媒体へ永続化するプレート機能を利用し，計算機停止前に行っていた処理の継続に必要なデータを永続化する．しかし，プレート機能により永続化可能なデータの状態は 1 つだけである．そこで，複数の計算機状態を保存可能にする世代管理機能を提案した．世代管理機能は，計算機状態単位で全プレートの永続データの複製を複数世代分保存，復元可能にする．本稿では，世代管理機能の実現について説明し，その処理時間とディスク占有量を評価した結果を報告する．Data on main memory is no longer available when computer is turned off, because main memory is volatile. Therefore, we proposed persistent mechanism for computer proccessing on Tender operating system. Persistent mechanism uses"plate"function to make persistent data which needed to continue processing before the shutdown. Plate manages a persistent data on virtual memory space. However, persistent mechanism can maintain only one state of persisted computer proccessing. Thus, we proposed generation management function which enable to maintain two or more states of the computer proccessing. It permits plural generations of all persisted plate data to be maintained in each state of the compute proccessing. In this paper, we explain realization of the generation management function, and furthermore, reports on the evaluation results at the processing time time and amount of occupation on disk.

AnTオペレーティングシステムにおけるTCP/IP通信機能の実現

井上喜弘, 谷口秀夫, 山内利宏

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 115 J1 - J8 2010年8月

記述言語：日本語出版者・発行元：情報処理学会

マイクロカーネル構造のオペレーティングシステムは，OS 機能の大半をプロセスとして実現し，高い適応性と堅牢性を持つ．しかし，通信機能を実現する OS サーバ間でデータの授受処理が発生し，このデータ授受オーバヘッドが通信機能を低下させる懸念がある．ここでは，マイクロカーネル構造を有する AnT オペレーティングシステム上に実現した TCP/IP 通信機能について報告する．AnT は，プロセス間の複写レスでのデータ授受機能を用いた高速なサーバプログラム間通信機構を有する．この通信機構を利用して，TCP/IP 通信機能を実現するプロセス間で送受信データを複写レスで授受可能にした．また，実現した TCP/IP 通信機能について，パケット送信処理時間と RTT について評価した．An operating system based on microkernel architecture realizes most of OS functions as processes and has adaptability and toughness. However, the interprocess communication overheads may decrease communication function. In this paper, we discussed the TCP/IP communication function of realizing the AnT operating system based on microkernel architecture. AnT has a highspeed communication mechanism between processes used the copy-less data transmission. With this communication function, we could transfer data by copy-less between processes of realizing the TCP/IP communication function. In addition, we evaluated processing time of packet transmission and RTT for TCP/IP communication function of AnT.

AnTオペレーティングシステムにおける Linux のLKM形式ドライバのプロセス化手法の設計

島崎泰, 田端利宏, 乃村能成, 谷口秀夫

電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report 109 ( 475 ) 517 - 522 2010年3月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

様々な入出力機器の登場により,これらを制御するデバイスドライバの種類は増加している.このため,OS開発においてデバイスドライバの新規開発に要する工数の削減が重要な課題となっている.しかし,デバイスドライバの新規開発は移植に比べ,その工数は小さくない.そこで,デバイスドライバをプロセスとして実現するOSの開発において,既存デバイスドライバのソースコードを修正することなく移植して,デバイスドライバの開発工数を削減する手法について述べる.この場合,単にデバイスドライバを移植するだけでなく,デバイスドライバをプロセスとして実現する必要がある.ここでは,AnTオペレーティングシステムにおいて,LinuxのLKM形式ドライバをプロセスとして動作させる手法を述べる.さらに,LKM形式のFDドライバ,Intel 1GbEドライバ,およびRealtek 1GbEドライバを取り上げ,提案手法を評価した.

組み込みシステム向けの高精度な周期実行制御法の設計

古川友樹, 田端利宏, 谷口秀夫

電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report 109 ( 475 ) 523 - 528 2010年3月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

組み込みシステムでは,実行する処理の種類が限られており,同じ処理を繰り返し実行する場合が多い.このように周期的に実行される処理を抱えるシステムでは,これを制御する周期実行制御について,制御オーバヘッドが小さく,かつ処理時間の変動も小さいことが望まれる.ロボットなどで利用されている代表的なOSとして,ART-Linuxがある.ここでは,ART-Linuxの特徴を示し,その問題点を明らかにする.また,この問題点を解決する周期実行制御法を提案し,その設計について述べる.さらに,実現についても触れるとともに,期待される効果を述べる.

優先処理の実行時間を短縮する入出力バッファ分割法

土谷彰義, 田端利宏, 谷口秀夫

全国大会講演論文集 72 ( 0 ) 99 - 100 2010年3月

ゼロコピー通信処理を可能にする実メモリ交換機能の提案

門直史, 田端利宏, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 113 ( 8 ) H1 - H8 2010年1月

記述言語：日本語出版者・発行元：情報処理学会

Ethernet 通信環境において 1GbEthernet や 10GbEthernet のような高速な通信路が普及した結果，分散処理環境を構成する計算機間のデータ通信処理全体におけるプロセッサ処理の比率は高くなってきている．このため，各パケットに対する送受信処理，特にデータ複写処理を削減することが全体の速度向上に大きな意味を持つ．既存手法によるゼロコピー通信では，データ受信時のゼロコピー通信の実現は難しい．本稿では，実メモリ交換機能を提案し，データ送信処理に加えデータ受信処理もゼロコピー通信とすることができることを示す．また，Tender の資源の分離と独立化を利用してデータ送信処理とデータ受信処理においてゼロコピー通信を実現した Ethernet 通信機構の実現方式について述べ，評価を行う．The ratio of the processor processing in the whole data communication processing between a computer constituting distributed processing environment rises as a result that high-speed channels such as 1GbEthernet and 10GbEthernet spread in Ethernet communication environment. Thus reducing data copy processing contribute for total speedup transmission and receiving processing for each packet. As for the realization of Zero-copy communication at the time of the data receiving, it is difficult to be Zero-copy communication by the existing technique. In this paper, we propose physical memory exchange function and show what we can do with Zero-copy communication processing using separation and the independence of resources of Tender. We also describe and evaluate data transmission and receiving a realization method of the Ethernet communication mechanism that realized Zero-copy communication.

ライブラリ実装したプログラム実行速度調整法における処理の均一性の評価

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 113 ( 14 ) N1 - N8 2010年1月

記述言語：日本語出版者・発行元：情報処理学会

計算機ハードウェアの性能に左右されないでソフトウェアの実行速度を調整できれば，サービスの利便性は向上する．このため，これまでに，サービスを実現するソフトウェアの処理速度を調整する制御法として，プログラム実行速度調整法をライブラリに実現した．本論文では，提案制御法における評価の観点として，処理を均一に伸縮できるかについて議論する．具体的には，これまでに提案した処理の均一性を示す指標を利用して，提案制御法を評価する．評価により，提案制御法は，共存プロセスが存在せずシステムコール発行間隔が長い場合には処理の均一性が非常に高いこと，被調整プロセスを高優先度に設定することにより処理の均一性を高くできること，および共存プロセスの与える影響を明らかにした．If execution speed of software is regulated without concerning by performance of the computer hardware, convenience of the service better. We proposed the mechanism for regulating program execution speed in library. This paper describes whether the mechanism can improve processing uniformly. Specifically, we evaluate the mechanism based on processing uniformity. Our evaluation show high uniformity in case of non coexistence process and long interval between system call. In addition, it shows high uniformity in case of process with high priority and in uence of coexistence process.

ゼロコピー通信処理を可能にする実メモリ交換機能の提案

門直史, 田端利宏, 谷口秀夫

情報処理学会研究報告(CD-ROM) 2009 ( 5 ) 2010年

ライブラリ実装したプログラム実行速度調整法における処理の均一性の評価

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会研究報告(CD-ROM) 2009 ( 5 ) 2010年

ディレクトリ優先方式における保護プールサイズ制限機能とバッファ移動機能の設計

田端利宏, 土谷彰義, 山田克泰, 谷口秀夫

電子情報通信学会技術研究報告. CPSY, コンピュータシステム 109 ( 296 ) 43 - 48 2009年11月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

応用プログラムがファイルを単位として操作することに着目して,指定した特定のディレクトリ直下のファイルを構成するブロックを優先的にキャッシュするディレクトリ優先方式を提案した.提案方式は,指定したファイル群に頻繁にアクセスする処理を高速化する方式である.しかし,提案方式の基本方式には,3つの問題があるため,場合によっては性能が低下することがある.本稿では,ディレクトリ優先方式の基本方式の問題点を明らかにし,この問題点を解決する保護プールサイズ制限機能とバッファ移動機能の設計について述べる.

特徴的なトークンが全トークンに占める割合を基にした迷惑メール判定法 (情報通信システムセキュリティ)

上村昌裕, 田端利宏

電子情報通信学会技術研究報告 109 ( 33 ) 27 - 32 2009年5月

プログラムの走行モードを考慮した実行速度調整法の評価

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 111 ( 26 ) Y1 - Y8 2009年4月

記述言語：日本語出版者・発行元：情報処理学会

計算機ハードウェアの性能に左右されないでソフトウェアの実行速度を調整できれば，サービスの利便性は向上する．また，実行速度の調整により，DoS攻撃の影響を抑制できると考えられる．このため，著者らは，これまでにハードウェア性能の範囲内でプログラムの実行速度を自由に調整する制御法をライブラリとして実現した．この制御法は，プロセスの発行するシステムコールに着目し，システムコールの発行直後と終了直前にプロセスを停止することにより，実行速度を調整する．この制御法は，プロセスを停止する処理に問題があり，調整の精度が悪くなる．そこで，本稿では，これまでに提案した実行速度調整法の特徴と問題を詳細に述べ，対処法を提案する．また，対処の実装と評価により，本制御法の特徴と有効性を明らかにする．If execution speed of software is regulated without concerning by performance of the computer hardware, convenience of the service will become better. In addition, regulating execution speed inhibits influence of DoS attack. Before now, we proposed a mechanism of regulating execution speed in library. This mechanism regulates execution speed by stopping processes at just after or before the issue of system call. This mechanism has a problem in stop processing. This paper describes the problem in detail and the response of the problem. Furthermore, we implement and evaluate the proposed mechanism to clarify the characteristic and the effectiveness of it.

D-6-24 プロセスの走行モードを考慮した可視化表示部の実現(D-6. コンピュータシステムC(ソフトウェア),一般セッション)

木下彰, 田端利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2009 ( 1 ) 74 - 74 2009年3月

D-6-17 機密情報の拡散追跡機能における可視化機能の設計(D-6. コンピュータシステムC(ソフトウェア),一般セッション)

福島健太, 田端利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2009 ( 1 ) 67 - 67 2009年3月

D-6-23 Tenderにおける資源「演算」を利用したプロセスグループ実行性能制限手法の設計(D-6. コンピュータシステムC(ソフトウェア),一般セッション)

原崇之, 田端利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2009 ( 1 ) 73 - 73 2009年3月

D-6-20 入出力スロットを用いた入出力性能の調整機能の提案(D-6. コンピュータシステムC(ソフトウェア),一般セッション)

長尾尚, 田端利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2009 ( 1 ) 70 - 70 2009年3月

D-6-19 プログラム実行速度調整法におけるフィードバックを利用した高精度な制御法の提案(D-6. コンピュータシステムC(ソフトウェア),一般セッション)

境講一, 田端利宏, 谷口秀夫, 箱守聰

電子情報通信学会総合大会講演論文集 2009 ( 1 ) 69 - 69 2009年3月

Tender におけるネットワーク透過なプロセス間通信機構の設計

佐伯顕治, 田端利宏, 谷口秀夫

情報処理学会研究報告. マルチメディア通信と分散処理研究会報告 138 ( 20 ) 55 - 60 2009年2月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

Tenderオペレーティングシステムは,独自インタフェースのプロセス間通信機能を実現している.ここでは,プロセス間通信機能にネットワーク透過性を実現し,分散環境を生かしたサービスの実現を可能にする.このプロセス間通信機能にネットワーク透過性を実現するため,分散共有メモリ機能を利用する方式について述べる.具体的には,Tender独自のプロセス間通信の資源「コンテナ」,「コンテナボックス」及び「イベント」にネットワーク透過性を実現する方式について述べる.さらに,コンテナの送受信について述べ,コンテナの共有モードで分散共有メモリ機能を利用する方式について述べる.

プログラムの走行モードを考慮した実行速度調整

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 110 ( 6(OS-110) ) 99 - 106 2009年1月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

計算機ハードウェアの性能に左右されないでソフトウェアの実行速度を調整できれば,サービスの利便性は向上する.また,実行速度の調整により,DoS攻撃の影響を抑制でき,DoS攻撃からの復旧に役立つと考えられる.一方,プログラムは,ユーザモードとスーパバイザモードの2つのモードで走行する.このため,プログラムの走行モードを考慮することで,精度の高い実行速度の調整が可能である.本稿では,プログラムの走行モードを考慮した実行速度調整の実現方式を述べる.具体的には,ユーザモードで走行するプログラムの実行速度調整の基本方式とスーパバイザモードで走行するプログラムの実行速度調整の基本方式を述べ,両モードの基本方式を組み合わせた調整方式を述べる.また,プロセスの停止方法と,調整割合の指定法について述べる.さらに,ライブラリとしての実装と評価により,本制御法の特徴と有効性を明らかにする.

プログラムの走行モードを考慮した実行速度調整法の評価

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会研究報告(CD-ROM) 2009 ( 1 ) 2009年

統合仮想化システムモニタを用いたマルウェアのプロファイリング

安藤類央, 高橋一志, 田端利宏, 須崎有康

情報処理学会シンポジウム論文集 2009 ( 11 ) 2009年

ファイルの使用頻度に基づくバッファキャッシュ制御法の評価

片上達也, 田端利宏, 谷口秀夫

情報処理学会研究報告. EVA, [システム評価] 27 ( 119(EVA-27) ) 13 - 18 2008年11月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

我々は,応用プログラムのファイルの使用頻度に基づき,優先して保持するブロックを決定するバッファキャッシュ制御法を提案した.ここでは,提案手法を評価し,評価結果から提案手法の有効性を示す.具体的には,LRU方式でキャッシュヒット率を低下させる2つの事例について評価した.評価の結果,提案手法は,LRU方式と比較して,性能を向上させることを明らかにした.また,実APの例として,カーネルのmake処理において提案手法を評価し,処理時間を最大22.4秒(7.1%)短縮できることを明らかにした.

Tender におけるメモリページを意識した高速なデータ通信機構

門直史, 田端利宏, 谷口秀夫

電子情報通信学会技術研究報告. CPSY, コンピュータシステム 108 ( 273 ) 1 - 6 2008年10月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

プログラム構造を重視して機能を実現したTenderオペレーティングシステムにおける分散共有メモリは,計算機間のデータ共有のために1ページ単位のデータに対して送受信を行う.データ通信において,ユーザ空間とカーネル空間の間のデータ複写処理は非常に大きなオーバヘッドとなっており,データ複写処理を削減することでデータ通信の高速化が期待できる.本稿では,Tenderにおけるメモリ管理機構に着目し,資源「仮想領域」と対応付ける資源「実メモリ」について,その入れ替えでデータ授受を実現する方式について述べる.

B-032 AnTオペレーティングシステムにおけるLinuxのFDドライバのプロセス化手法(ソフトウェア,一般論文)

島崎泰, 谷口秀夫, 田端利宏, 乃村能成

情報科学技術フォーラム講演論文集 7 ( 1 ) 179 - 180 2008年8月

B-031 AnTオペレーティングシステムにおける高精度な周期実行制御法の設計(ソフトウェア,一般論文)

古川友樹, 谷口秀夫, 田端利宏

情報科学技術フォーラム講演論文集 7 ( 1 ) 177 - 178 2008年8月

システムコール発行間隔の制御によるプロセッサ使用量の調整

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 109 ( 77(OS-109) ) 101 - 108 2008年8月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

計算機ハードウェアの性能向上は,ソフトウェアの処理時間を短縮させ,複雑な処理を可能にしている.一方,ソフトウェアの実行性能はハードウェア性能に大きく依存する.このため,ハードウェア性能の範囲でプログラム実行速度を調整制御する制御方式の確立が必要である.本稿では,プロセッサ使用量を調整し,プログラム実行速度を調整するライブラリの制御法を述べる.具体的には,システムコール発行間隔を制御し,プロセッサ使用量を調整するライブラリの基本方式を述べ,プロセスの停止方法と割り当てるプロセッサ性能の指定方法について述べる.さらに,実装と評価により,本制御法の特徴と有効性を明らかにする.

Tender の動作継続制御機能における入出力デバイスの扱い

山本悠太, 田端利宏, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 109 ( 77(OS-109) ) 61 - 68 2008年8月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

計算機の主記憶は揮発性メモリが用いられるため,電源切断により,主記憶上のデータは消失する.このため,処理途中に計算機が緊急停止した場合,再び計算機の電源を投入しても計算機停止前に行っていた処理を継続できない.そこで,我々は,Tenderオペレーティングシステムにおいて,仮想記憶機構を利用した主記憶上のヂータを不揮発性化するプレート機能を利用し,仮想記憶空間上のすべてのデータを不揮発性化し,計算機処理を永続化する動作継続制御機能を提案した.しかし,動作継続制御機能では,入出力デバイスの状態を考慮していない.このため,入出力処理中にプレート書き出しを行った場合,プレート復元後に入出力処理を継続できず,動作継続できない.そこで,本論文では,動作継続制御機能において入出力処理の継続を可能にするデバイス制御法について述べる.

ファイルの使用頻度に基づくバッファキャッシュ制御法

片上達也, 田端利宏, 谷口秀夫, 渡辺弘志, 乃村能成

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 108 ( 35(OS-108) ) 115 - 122 2008年4月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

既存の多くのオペレーティングシステムでは,入出力処理のバッファキャッシュをブロック単位で制御している.一方,応用プログラムは,ブロックではなくファイルのレベルで入出力を要求する.プロセッサ処理に比べて処理が遅い入出力処理を効率よく実行するためには,この違いをうまく考慮したバッファキャッシュ制御法が有効と考えられる.そこで,ここでは,応用プログラムのファイルの使用頻度に基づき優先して保持するブロックを決定するバッファキャッシュ制御法について述べる.

AnTにおける入出力機器動作履歴を考慮したドライバプログラム起動制御法

滝口真一, 乃村能成, 田端利宏, 谷口秀夫

情報処理学会研究報告. SLDM, [システムLSI設計技術] 134 ( 32 ) 43 - 48 2008年3月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

計算機が提供するサービスの多様化に伴い,入出力機器の種類が増加している.このため,オペレーティングシステムは多くの入出力機能を提供しており,これらの入出力機能をドライバプログラムとして実現している.一方,一つの計算機システムが必要とする入出力機能は限られており,利用環境に応じて変化する.しかし,必要な入出力機能のみを有するOSを作成するにはOSに関する専門的な知識を必要とするため,多くの計算機システムでは,入出力機能の絞込みは行われない.そこで,OSは多くのドライバを保有することなり,占有メモリ量の増加,および立ち上がり時間の長大化が問題になる.そこで,入出力機器の動作履歴を考慮したドライバの起動制御を行う方法を提案する.具体的には,既存OSの問題点を示し,この問題に対処する入出力機器の動作履歴を考慮したドライバの起動制御法を提案する.また,AnTオペレーティングシステムにおける提案手法の実現について述べる.

AnTにおける入出力機器動作履歴を考慮したドライバプログラム起動制御法

滝口真一, 乃村能成, 田端利宏, 谷口秀夫

電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング 107 ( 559 ) 43 - 48 2008年3月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

計算機が提供するサービスの多様化に伴い,入出力機器の種類が増加している.このため,オペレーティングシステムは多くの入出力機能を提供しており,これらの入出力機能をドライバプログラムとして実現している.一方,一つの計算機システムが必要とする入出力機能は限られており,利用環境に応じて変化する.しかし,必要な入出力機能のみを有するOSを作成するにはOSに関する専門的な知識を必要とするため、多くの計算機システムでは、入出力機能の絞込みは行われない.そこで,OSは多くのドライバを保有することなり,占有メモリ量の増加,および立ち上がり時間の長大化が問題になる.そこで,入出力機器の動作履歴を考慮したドライバの起動制御を行う方法を提案する.具体的には,既存OSの問題点を示し,この問題に対処する入出力機器の動作履歴を考慮したドライバの起動制御法を提案する.また,AnTオペレーティングシステムにおける提案手法の実現について述べる.

プロセッサ使用量の制御によるプログラム実行速度調整法のライブラリ実装

境講一, 田端利宏, 箱守聰, 谷口秀夫

全国大会講演論文集 70 ( 0 ) 29 - 30 2008年3月

ファイルの使用頻度に基づくバッファキャッシュ制御法の提案

片上達也, 田端利宏, 谷口秀夫

全国大会講演論文集 70 ( 0 ) 35 - 36 2008年3月

機密情報の拡散追跡機能における情報漏えいの検知精度の向上手法

大橋慶, 田端利宏, 谷口秀夫, 横山和俊, 箱守聰

情報処理学会研究報告. DPS,マルチメディア通信と分散処理研究会報告 134 ( 21 ) 97 - 102 2008年3月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

機密情報の漏えいを防ぐために,様々な手法が提案されている.これらの手法の1つとして,我々は,オペレーティングシステムのシステムコール発行を契機とし,機密情報が拡散する経路を刻々と追跡し,計算機外への漏えいを直前で検知する手法を提案している.しかし,提案手法は非機密ファイルを機密ファイルと誤って管理してしまう問題がある.そこで,ここでは,情報漏えい検知時の正答率を向上させる手法を提案する.具体的には,誤って機密ファイルとして管理されやすい各種アプリケーションの設定ファイルや履歴ファイルへの機密情報の拡散を防止し,機密ファイルとして管理させないことで,正答率を向上させる.また,利用者が機密ファイルの管理表を閲覧し編集できるようにすることで,誤って登録されたファイルの確認や除去が行える機構を示す.提案手法をLinux上に実装し,評価した.これにより,情報漏えい検知時の正答率が向上したことを示す.

Tender におけるIPCの継続を可能にするプロセス実行途中状態の保存復元機能の設計

難波弘樹, 田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 107 ( 9(OS-107) ) 87 - 94 2008年1月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

運用や故障のためにプロセスの走行中で計算機が停止すると,計算機再起動後に当該プロセスを,はじめから走行させなくてはいけない.このため,実行途中までの処理は無駄になってしまう.この対策に,プロセス実行途中状態の保存と復元の機能があり,いくつか研究が行われている.ここでは,計算機の停止と再開の前後で,プロセス間通信を継続して行うことのできる機能について述べる.具体的には,Tender (The ENduring operating system for Distributed EnviRonment)オペレーティングシステムにおける実装と評価結果を報告する.

Tender における資源「入出力」を用いた Ethernet 通信の設計

門直史, 田端利宏, 谷口秀夫

2008信学総大 2008 94 - 94 2008年

SELinux の不要なポリシの削減予法の提案

山口拓人, 中村雄一, 田端利宏

情報処理学会研究報告 2008 ( 21(DPS-134 CSEC-40) ) 37 - 42 2008年

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

SELinuxを導入する際は,汎用的なセキュリティポリシを適用することが多く,必要以上の権限を許可する可能性がある.また,誤って拒否ログから必要以上の権限を許可してしまった場合,SELinuxはこれを見つけることが困難である.そこで,必要以上に与えてしまったセキュリティポリシを自動的に発見し,システム管理者に削除を提案する手法を提案する.本手法は,カーネルで使用したポリシを取得し,実施申のポリシとの差分を取得することで実現されている.本稿では,SELinuxのポリシの問題点を明らかにし,この問題に対する対策を検討した.また,この対策を実現するシステムの設計を示す.

機密情報の拡散追跡機能のソケット通信への適用手法

植村晋一郎, 田端利宏, 谷口秀夫, 横山和俊, 箱守聰

情報処理学会シンポジウムシリーズ(CD-ROM) 2008 ( 1 ) 2008年

ライブラリ実装によるプロセッサ使用量調整法を利用したサービス保証法の評価

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会シンポジウム論文集 2008 ( 8 ) 2008年

ダウンロードホストに着目したマルウェアの活動傾向分析

石井宏樹, 佐藤和哉, 田端利宏

情報処理学会シンポジウム論文集 2008 ( 8 ) 2008年

B-013 TenderにおけるOS動作の把握を目的とした可視化情報の解析部の実現と評価(B分野:ソフトウェア)

川江純平, 田端利宏, 谷口秀夫

情報科学技術フォーラム一般講演論文集 6 ( 1 ) 105 - 106 2007年8月

ホームページの構成ファイルを優先的にバッファキャッシュに保持する制御法の評価

小峠みゆき, 田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 106 ( 83(OS-106) ) 95 - 102 2007年8月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

Webは,多くのコンテンツを保有している,Webサイトには,入り口となるページ(多くの場合,ホームページである)が存在し,多くの利用者は,そのホームページから様々なサービスを利用することが多い.このため,Webサービスにおいて,ホームページのアクセス応答時間を短くすることは重要である.我々は,特定ディレクトリ内のファイルを優先的にWebサーバのバッファキャッシュに残す制御法を提案している.Webサーバには,意味のあるファイル群毎にディレクトリに格納されることが多い.本論文では,提案したバッファキャッシュ制御法について述べ,岡山大学のWebサーバについて,各部局のホームページを構成するファイルのアクセス応答時間を評価し,有効性を示す.

ベイジアンフィルタにおける画像スパムのフィルタリング方式の設計と評価

上村昌裕, 田端利宏

情報処理学会研究報告. CSEC, [コンピュータセキュリティ] 38 ( 71 ) 311 - 318 2007年7月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

インターネットの普及とともに,迷惑メールの増加が近年問題となっている。2006年には,迷惑メールが電子メール全体の91%を占めたとの調査結果も存在する.迷惑メール対策として,ベイズ理論を用いて統計的にフィルタリングを行うベイジアンフィルタが広く利用されている.その特徴として,フィルタリングの精度が高く,迷惑メールの流行や個人の嗜好に合わせたフィルタリングが行えることがある.しかし,その回避策として,迷惑メールの内容を画像化して送信する画像スパムが急増している.ベイジアンフイルタはテキストデータに対して学習と判定を行うので,画像などのバイナリデータに対しては,適切な学習と判定ができない.そこで,本論文では,画像スパム対策として,ファイルサイズ等の添付画像の情報に着目し,これらの情報を既存のベイジアンフィルタのコーパス(学習データ)に加え,フィルタリングを行う方式を提案する.また,その評価結果を報告する.

ベイジアンフィルタにおける画像スパムのフィルタリング方式の設計と評価

上村昌裕, 田端利宏

電子情報通信学会技術研究報告. ISEC, 情報セキュリティ 107 ( 141 ) 103 - 110 2007年7月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

インターネットの普及とともに,迷惑メールの増加が近年問題となっている。2006年には,迷惑メールが電子メール全体の91%を占めたとの調査結果も存在する.迷惑メール対策として,ベイズ理論を用いて統計的にフィルタリングを行うベイジアンフィルタが広く利用されている.その特徴として,フィルタリングの精度が高く,迷惑メールの流行や個人の嗜好に合わせたフィルタリングが行えることがある.しかし,その回避策として,迷惑メールの内容を画像化して送信する画像スパムが急増している.ベイジアンフイルタはテキストデータに対して学習と判定を行うので,画像などのバイナリデータに対しては,適切な学習と判定ができない.そこで,本論文では,画像スパム対策として,ファイルサイズ等の添付画像の情報に着目し,これらの情報を既存のベイジアンフィルタのコーパス(学習データ)に加え,フィルタリングを行う方式を提案する.また,その評価結果を報告する.

Tender におけるOS動作の可視化のための情報収集と表示の方式

木下彰, 河原太介, 田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 105 ( 36(OS-105) ) 31 - 38 2007年4月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

ソフトウェアの規模は大規模化しており,ソフトウェアの構造やその動作状況を把握することは容易でない.特に,OSのように処理流れの複雑なソフトウェアでは,処理流れを把握するのは困難である.また,不具合の発生時,不具合箇所の特定が難しいという問題がある.これまでに,0S動作の可現化の研究は行われているが,0Sの内部処理の動作の流れや,割込や例外の実行を可視化できるものは少ない.そこで,本論文では,Tenderオペレーティングシステムにおいて割込を考慮したOS動作の可視化機能を述べる.Tenderでは,0Sレベルで可視化機能を実現できるプログラム構造を採用し,割込処理などの処理契機を意識して,0S内部の処理流れを収集できる.これにより,学習を目的としたOS動作の可視化や,プログラム開発支援を目的とした可現化のための情報を収集できる.OSの学習を目的とした可視化の例として,プロセススケジューリングの様子を可視化する表示部の実現方式と可視化例を示し,実現した方式により,0S動作の学習を支援できることを示す.

Tender の資源再利用機能を利用した fork&exec 処理の高速化

佐伯顕治, 田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 105 ( 36(OS-105) ) 23 - 30 2007年4月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

OSの処理の中でも,プロセスを生成するforkとexec処理の負荷は大きく,サービスの処理性能への影響は小さくない.そこで,我々は、分散指向永続オペレーティングシステムTenderにおいて, OSの構成資源を再利用することによるプロセスの生成と消滅の高速化を実現している.Tenderでは,他OS用のプログラム実行のため,UNIX系OSであるBSD/OSのインタフェースを実現している.本論文では,資源再利用機能を利用して,forkとexecシステムコール処理を高速化する手法を述べ,再利用する資源の種類ごとに行った評価結果について報告する.また,Apache webサーバでの評価を行うことで,実APでの資源再利用機能によるforkとexecシステムコール処理の高速化の効果を示す.また,他のOSと比べることで,資源再利用機能の有効性を示す.

AnTオペレーティングシステムにおけるプロセス生成制御機構

仁科匡人, 野村裕佑, 田端利宏, 乃村能成, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 105 ( 36(OS-105) ) 7 - 14 2007年4月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

AnTオペレーティングシステムは,マイクロカーネル構造を基本構造としている.このため,ファイル管理やデバイスドライバといったOS機能の一部を外コアと呼び,プロセスとして動作させている.これらの外コアを利用環境に合わせて起動することで,様々な利用環境に適応可能としている.ここでは,プロセス生成制御機構について述べる.本機構は,計算機の利用環境を把握し適切な外コアの起動,および効率的なプロセスの走行制御を行う.

D-3-7 AnTにおける利用要求を契機としたドライバプロセスの起動方法(D-3.ソフトウェアサイエンス,一般講演)

仁科匡人, 野村裕佑, 田端利宏, 谷口秀夫

電子情報通信学会総合大会講演論文集 2007 ( 1 ) 22 - 22 2007年3月

Tender上のWebサーバにおける資源再利用機能の効果

佐伯顕治, 田端利宏, 谷口秀夫

第69回全国大会講演論文集 2007 ( 1 ) 35 - 36 2007年3月

ドライバプログラムの効率的な構成制御法

滝口真一, 田端利宏, 乃村能成, 谷口秀夫

第69回全国大会講演論文集 2007 ( 1 ) 27 - 28 2007年3月

AnT におけるNICドライバプロセスの実現

岡本幸大, 乃村能成, 田端利宏, 谷口秀夫

第69回全国大会講演論文集 2007 ( 1 ) 29 - 30 2007年3月

仮想記憶空間上のデータ不揮発性化による計算機処理永続化方式の提案

大本拓実, 田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 104 ( 10(OS-104) ) 25 - 32 2007年1月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

計算機の主記憶は揮発性メモリが用いられるため,電源切断により,主記憶上のデータは消失する.このため,処理途中に計算機が緊急停止した場合,再び計算機の電源を投入しても計算機停止前に行っていた処理を継続できない.この問題の対処としてファイル機能やハイバネーション機能を利用する方法がある.これらの機能では,主記憶と外部記憶装置間の入出力を利用者が指定しなくてはならないため,計算機の緊急停止には対処できない.そこで,我々は,仮想記憶機構を利用した主記憶上のデータを不揮発性化するプレート機能を提案し,Tenderオペレーティングシステムに実現した,本論文では,プレート機能を利用し,仮想記憶空間上のすべてのデータを不揮発性化し,計算機処理を永続化する動作継続制御について述べる.動作継続制御は,プレート機能によって管理されるデータを定期的に外部記憶装置に書き出すことで,計算機の緊急停止による処理の損失を軽減できる.

AnTオペレーティングシステムにおけるメモリ領域管理の設計と実現

梅本昌典, 田端利宏, 乃村能成, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 104 ( 10(OS-104) ) 33 - 40 2007年1月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

AnTオペレーティングシステムでは,マイクロカーネル構造を基本構造としている.これにより,多種多様なサービスを提供可能としている.しかし,マイクロカーネル構造を有することにより,頻発するプロセス間通信のデータ授受によるオーバヘッド削減が課題となる.そこで,本稿では,メモリ領域管理の設計,実装および評価について述べる.実現したメモリ領域管理により,プログラム間の保護を実現でき,プロセス間通信を高速化できる.さらに,高速なOSの再立上げ処理を実現できる.また,これらの効果を明らかにするため,データ授受時間とOSの再立上げ時間を評価した.

ファイルのアクセスベクタパーミッションを統合したアクセスパーミッションの安全性評価

山口拓人, 中村雄一, 田端利宏

情報処理学会シンポジウム論文集 2007 ( 10 ) 2007年

LSMのオーバーヘッド測定によるセキュアOSの性能評価

松田直人, 田端利宏, 宗藤誠治

情報処理学会シンポジウム論文集 2007 ( 10 ) 2007年

B_036 ディレクトリに着目したバッファキャッシュ制御法の評価(B分野:ソフトウェア)

小峠みゆき, 齊藤圭, 田端利宏, 乃村能成, 谷口秀夫

情報科学技術フォーラム一般講演論文集 5 ( 1 ) 147 - 148 2006年8月

B_038 遅延書き込みを用いた暗号化ファイルシステムの高速化手法の提案(B分野:ソフトウェア)

松田直人, 田端利宏

情報科学技術フォーラム一般講演論文集 5 ( 1 ) 151 - 152 2006年8月

B_028 Tenderにおけるプロセス実行途中状態の保存と復元の基本機能(B分野:ソフトウェア)

難波弘樹, 田端利宏, 谷口秀夫

情報科学技術フォーラム一般講演論文集 5 ( 1 ) 131 - 132 2006年8月

B_030 AnTにおける高速なプロセス間通信の実現(B分野:ソフトウェア)

梅本昌典, 田端利宏, 乃村能成, 谷口秀夫

情報科学技術フォーラム一般講演論文集 5 ( 1 ) 135 - 136 2006年8月

適応性と堅牢性をあわせ持つAnTオペレーティングシステム

谷口秀夫, 乃村能成, 田端利宏, 安達俊光, 野村裕佑, 梅本昌典, 仁科匡人

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 103 ( 86(OS-103) ) 71 - 78 2006年8月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

マイクロプロセッサや入出力ハードウェアの進歩には目覚しいものがある。さらに、通信路の伝送速度の向上も著しい。また、様々な場面で計算機が必要となり、提供するサービス種別も飛躍的に増大している。このような背景から、これらハードウェアの機能や性能を有効に利用でき、さらに多様なサービスの提供を支える基盤ソフトウェアが必要になっている。そこで、適応性と堅牢性をあわせ持つAnTオペレーティングシステム(An operating system with adaptability and toughness )を開発している。ここでは、AnTオペレーティングシステムの設計方針と特徴的な機能について説明する。

ヘテロ仮想記憶(HVS)の評価

田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 102 ( 44(OS-102) ) 29 - 36 2006年5月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

我々は,単一仮想記憶と多重仮想記憶を統合したへテロ仮想記憶の機能を提案している.へテロ仮想記憶は,複数の仮想記憶空間を有し,一つの仮想記憶空間内には0個以上のプロセスが存在できる.また,プロセスには仮想記憶空間の間を移動できる機能を提供する.これにより,単一仮想記憶と多重仮想記憶の長所を最大限に引き出して利用することが可能になる.本論文では,へテロ仮想記憶を利用した場合の有効事例を示すために,OSの基本機能の性能評価結果を報告する.また,Apache Webサーバで,へテロ仮想記憶の機能を利用するための実装方式とその評価結果を示し,有効性を明らかにする.

AnTオペレーティングシステムの設計

谷口秀夫, 乃村能成, 田端利宏

第68回全国大会講演論文集 2006 ( 1 ) 41 - 42 2006年3月

AnTオペレーティングシステムのメモリ領域管理

田端利宏, 梅本昌典, 安達俊光, 谷口秀夫

第68回全国大会講演論文集 2006 ( 1 ) 45 - 46 2006年3月

SPAMメールフィルタリング : ベイジアンフィルタの解説(<特集>情報のフィルタリング)

田端利宏

情報の科学と技術 56 ( 10 ) 464 - 468 2006年

記述言語：日本語出版者・発行元：一般社団法人情報科学技術協会

電子メールの普及に伴って,SPAMメールと呼ばれる受信者の意図を無視して大量に送りつけられる電子メールが増加し,問題になっている。そこで,SPAMメールをうまく排除できる電子メールのフィルタリング技術が注目されている。特に,電子メールのフィルタリング技術の中でも,ベイジアンフィルタは,判定精度が良く,注目されている。ベイジアンフィルタは,ベイズ理論を応用したもので,受信者が過去に受信した電子メールの特徴を学習し,学習したデータに基づいて,新たに受信したメールがSPAMメールかどうかを判定する。本稿では,ベイジアンフィルタについて,学習と判定の仕組みを中心に解説する。

DOI： 10.18919/jkg.56.10_464

機密情報の拡散追跡による漏洩検知手法

田端利宏, 箱守聰, 箱守聰, 横山和俊, 乃村能成, 谷口秀夫

情報処理学会シンポジウム論文集 2006年

独自キャッシュ機構を用いた暗号化ファイルシステムの高速化手法の提案

松田直人, 田端利宏

情報処理学会シンポジウム論文集 2006年

アクセスベクタパーミッションと脅威の関係に関する調査

山口拓人, 田端利宏

電気・情報関連学会中国支部連合大会講演論文集(CD-ROM) 57th 2006年

ファイルの格納ディレクトリを考慮したバッファキャッシュ制御法の評価

小峠みゆき, 田端利宏, 谷口秀夫

電気・情報関連学会中国支部連合大会講演論文集(CD-ROM) 57th 2006年

Tenderにおける動作継続制御切り替え機能の実現

大本拓実, 田端利宏, 谷口秀夫

電気・情報関連学会中国支部連合大会講演論文集(CD-ROM) 57th 2006年

AnTにおけるプラグアンドプレイ機能の実現方式

安達俊光, 田端利宏, 乃村能成, 谷口秀夫

電気・情報関連学会中国支部連合大会講演論文集(CD-ROM) 57th 2006年

機密情報の拡散追跡による漏洩検知手法

田端利宏, 箱守聰, 箱守聰, 横山和俊, 乃村能成, 谷口秀夫

情報処理学会シンポジウム論文集 2006 ( 11 ) 2006年

独自キャッシュ機構を用いた暗号化ファイルシステムの高速化手法の提案

松田直人, 田端利宏

情報処理学会シンポジウム論文集 2006 ( 11 ) 2006年

B-019 プロセス資源の事前生成機構の提案(B分野:ソフトウェア)

田端利宏, 谷口秀夫

情報科学技術フォーラム一般講演論文集 4 ( 1 ) 135 - 136 2005年8月

乱数を用いた難読化手法の複雑な制御構造への適用に関する一考察

豊福達也, 田端利宏, 櫻井幸一

情報処理学会研究報告. CSEC, [コンピュータセキュリティ] 30 ( 70 ) 213 - 220 2005年7月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

計算機システム中で, ソフトウェアにより実現されているセキュリティ技術や, ソフトウェアの知的財産権の保護のためにも, ソフトウェア保護技術が必要である.この技術の一つに, プログラムの動作内容を変更することなく, かつその解析が困難になるようにプログラムを変更する難読化という技術がある.本論文では, これまでに提案した乱数を用いてプログラム制御構造を難読化する手法の複雑な制御構造に対しての適用可能性について検討する.また, 難読化されたプログラムへの攻撃手法について考察を行う.

データ改ざん検出による侵入検知システムの一考察

長野文昭, 鑪講平, 田端利宏, 櫻井幸一

情報処理学会研究報告. CSEC, [コンピュータセキュリティ] 30 ( 70 ) 37 - 44 2005年7月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

近年, メモリ上のデータを不正に改ざんする攻撃が, セキュリティ上最も脅威のある攻撃の一つとなっている.データ改ざん検知手法はこれまでにもさまざまな手法が提案されているが, 多くの検知手法はメモリ上のデータの改ざんの一部分しか検知することができないという問題点が存在する.また, 既存のデータ改ざん検知手法に秘密データを用いているものがあるが, 秘密データを用いる方式では, 実行コードにフォーマットストリングバグといったメモリ上のデータを読み取られる脆弱性が存在すると, 秘密データを攻撃者に推測されて, データを不正に改ざんされてしまう恐れがある.そこで, 本論文ではメモリ上の任意のデータの攻撃者による改ざんを検知するための手法を提案する.また, 本提案方式は, 秘密データを利用した検知手法に存在する, メモリ上のデータを読み取られると秘密データを推測されるといった脆弱性は存在しない.

データ改ざん検出による侵入検知システムの一考察

長野文昭, 鑪講平, 田端利宏, 櫻井幸一

電子情報通信学会技術研究報告. SITE, 技術と社会・倫理 105 ( 192 ) 37 - 44 2005年7月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

近年, メモリ上のデータを不正に改ざんする攻撃が, セキュリティ上最も脅威のある攻撃の一つとなっている.データ改ざん検知手法はこれまでにもさまざまな手法が提案されているが, 多くの検知手法はメモリ上のデータの改ざんの一部分しか検知することができないという問題点が存在する.また, 既存のデータ改ざん検知手法に秘密データを用いているものがあるが, 秘密データを用いる方式では, 実行コードにフォーマットストリングバグといったメモリ上のデータを読み取られる脆弱性が存在すると, 秘密データを攻撃者に推測されて, データを不正に改ざんされてしまう恐れがある.そこで, 本論文ではメモリ上の任意のデータの攻撃者による改ざんを検知するための手法を提案する.また, 本提案方式は, 秘密データを利用した検知手法に存在する, メモリ上のデータを読み取られると秘密データを推測されるといった脆弱性は存在しない.

乱数を用いた難読化手法の複雑な制御構造への適用に関する一考察

豊福達也, 田端利宏, 櫻井幸一

電子情報通信学会技術研究報告. SITE, 技術と社会・倫理 105 ( 192 ) 213 - 220 2005年7月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

計算機システム中で, ソフトウェアにより実現されているセキュリティ技術や, ソフトウェアの知的財産権の保護のためにも, ソフトウェア保護技術が必要である.この技術の一つに, プログラムの動作内容を変更することなく, かつその解析が困難になるようにプログラムを変更する難読化という技術がある.本論文では, これまでに提案した乱数を用いてプログラム制御構造を難読化する手法の複雑な制御構造に対しての適用可能性について検討する.また, 難読化されたプログラムへの攻撃手法について考察を行う.

能動的な制御フローの変更による異常検知手法の提案

鑪講平, 田端利宏, 櫻井幸一

情報処理学会研究報告 = IPSJ SIG technical reports 2005 ( 33 ) 75 - 80 2005年3月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

バッファオーバフロー脆弱性を利用した計算機の不正利用を防ぐためには, プログラマの注意を喚起するだけでなく, コンパイラやOS側での対策技術が重要である. 一方で, 計算機に関する知識が限られているユーザには, 対策技術の導入や運用が容易でなければならない. 本論文では, プログラムの制御フローを能動的に変更することにより, バッファオーバフローに基づく異常を検知する手法を提案する. 提案手法は, 上記の要件を満足しつつ誤検知が発生しないという特徴を持つ.

データ改ざん検出によるバッファオーバフロー検知システムの提案

長野文昭, 鑪講平, 田端利宏, 櫻井幸一

情報処理学会研究報告 = IPSJ SIG technical reports 2005 ( 33 ) 81 - 86 2005年3月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

今までにさまざまなバッファオーバフロー防御システムが提案されている. それらの方法の多くは, バッファオーバフロー発生の有無の検知を行っており, 変数の完全性の検証を行わない. しかしバッファオーバフロー発生の有無の検知だけでは防ぎきれず, 変数の完全性の検証が必要となる攻撃が存在する. そこで本論文では, 変数の完全性を保証するシステムを提案する. 既存のバッファオーバフロー防御システムでは, ユーザメモリ上から変数を読み取られると, 防御システムを回避される危険があるものもあるが, 本システムでは, そのような危険性はない. また, 本方式はバッファオーバフローにより影響を受けた変数を, 影響を受ける前に復元することもできる.

Tenderにおける資源「プレート」のサイズ変更機能

大本拓実, 田端利宏, 乃村能成, 谷口秀夫

第67回全国大会講演論文集 2005 ( 1 ) 43 - 44 2005年3月

スタックの改ざん検知による侵入検知システムの一考察

長野文昭, 鑪講平, 田端利宏, 櫻井幸一

第67回全国大会講演論文集 2005 ( 1 ) 577 - 578 2005年3月

改ざんデータの復元可能な侵入検知手法の提案

長野文昭, たたら講平, 田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2005 ( 13,Vol.2 ) 2005年

資源「演算」によるCPU資源のアクセス制御法の提案

田端利宏, 箱守聡, 箱守聡, 横山和俊, 横山和俊, 谷口秀夫

情報処理学会シンポジウム論文集 2005 ( 13,Vol.2 ) 2005年

プロセス変身機能における資源の再利用効果

野村和孝, 田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 96 ( 63(OS-96) ) 149 - 156 2004年6月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

分散環境において,実行途中のプロセスの実行環境を変更することができれば,負荷分散を実行することができ,有益である.このため,我々は,分散指向永続オペレーティングシステムTender (The ENduring operating system for Distributed EnviRonment)においてプロセスの実行環境を変更する機能であるプロセス変身機能を実現した.プロセス変身機能は,実行プログラムの変更,開始位置の変更,および動作空間の変更という三つの機能からなる.また,我々は,Tenderにおいてプロセスを構成する資源を再利用することにより,プロセスの生成処理と削除処理の高速化手法を実現した.本論文では,プロセスの構成資源を再利用したプロセス変身機能の高速化について,評価結果を報告する.

ネットワーク構成の動的な変化に対応したエージェントベースIDSの提案

小手川祐樹, 田端利宏, 櫻井幸一

情報処理学会研究報告. DPS,マルチメディア通信と分散処理研究会報告 117 ( 22(DPS-117 CSEC-24) ) 109 - 114 2004年3月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

IDSをホスト上に設置する場合,ネットワーク上に設置する場合と比べて多くの情報を侵入検知のために用いることができるが,設置したホスト上の侵入検知しか行えない.そのため,ネットワークに新しく接続したホストを監視するには,そのホストにIDSを新たに導入する必要がある.本論文では,モバイルエージェントを用いることで,ネットワークに新しく接続したホストヘ自動的にIDSの機能を導入できるエージェントベースIDSを提案する.提案方式では,モバイルエージェントの移動性によってIDSの導入コストが削減される.またバージョンアップしたエージェントを一斉に配布することにより,効率的な保守管理が可能となる.

確率モデルを用いた異常検知手法に関する一考察

たたら講平, 田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2004 ( 11(CD-ROM) ) 2004年

Network and Distributed System Security Symposiumにおける研究動向の調査

小手川祐樹, 田端利宏, 堀良彰, 桜井幸一

情報処理学会研究報告 2004 ( 54(CSEC-25) ) 2004年

統計的フィルタリングに対するWord Salad攻撃についての考察

岩永学, 田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2004 ( 11(CD-ROM) ) 2004年

モバイルエージェントを用いたエンドホストセキュリティ管理機構の設計

小手川祐樹, 田端利宏, 堀良彰, 桜井幸一

情報処理学会シンポジウム論文集 2004 ( 11(CD-ROM) ) 2004年

IEEE Symposium on Security and Privacyにおける研究動向調査

田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2004 ( 11(CD-ROM) ) 2004年

Java クラスファイルの等価変換に耐性を持つプログラム指紋抽出法

福島和英, 田端利宏, 櫻井幸一

情報処理学会研究報告. CSEC, [コンピュータセキュリティ] 23 ( 126(CSEC-23) ) 81 - 86 2003年12月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

Javaクラスファイルの盗用を検知することを目的として, Javaクラスファイルからプログラム指紋を抽出する手法について検討を行う.玉田らによって,クラスファイルの初期値代入部分,メソッド呼び出し部分,および,継承関係を透かしとして抽出する手法が提案されている.本論文では,初期値代大部分と継承関係によるプログラム指紋は容易に改ざんできることを示す.さらに, Javaクラスファイルの各メソッドをオートマトンにより抽象的に表現し,プログラム指紋として抽出する方法を提案する.

Tenderにおける即時同期を可能にするプロセス間通信機構の実現と評価

福冨和弘, 田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 93 ( 42(OS-93) ) 25 - 32 2003年5月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

プロセス間通信は、多くの応用プログラムで利用されている。したがって、プロセス間通信機能は重要であるとともに、その利用形態はさまざまである。プロセス間通信において、データをやり取りする場合、メッセージ渡し方式が多く利用されている。しかし、メッセージ渡し方式によるプロセス間通信では、送信操作と受信操作の組み合わせで通信を完了するため、通信操作の即時性とデータ授受の同期を両立できない。そこで、本論文では、即時同期を可能にするプロセス間通信機構を提案する。また、提案機構の実現方式として、Tenderオペレーティングシステムの場合を述べ、基本性能評価の結果と応用プログラムにおける評価の結果を示す。

Tender におけるプレート機能を利用した資源の永続化機構の設計

的野司, 田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 93 ( 42(OS-93) ) 147 - 154 2003年5月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

オペレーティングシステム(OS)には、プロセス管理、メモリ管理などの様々な機能がある。また、これらの機能を提供するために、揮発性メモリ上に様々な管理情報を保持している。しかし、揮発性メモリ上のデータは、計算機の電源が切断すると消失する。このため、処理途中に計算機が緊急停止した場合、再び計算機の電源を投入した時に、計算機の停止以前に行っていた処理を継続できないという問題がある。この問題に対する対処として、OSの管理情報を永続化する方法がある。我々が開発しているTenderオペレーティングシステムでは、OSが制御し管理する対象の単位を「資源」として、分離し独立化している。つまり、資源を永続化することにより、OSの管理情報を永続化することにより、OSの管理情報を永続化できる。我々は、仮想記憶空間上のデータを永続化するプレート機能を提案し、Tenderに実現した。本論文では、プレート機能を利用してTenderにおける資源を永続化する機構を提案し、その設計について述べる。

プログラム実行速度調整による通信帯域制御

田端利宏, 乃村能成, 谷口秀夫

第65回全国大会講演論文集 2003 ( 1 ) 1 - 2 2003年3月

動的リンカを利用したユーザレベルアクセス制御機構の設計

田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2003 ( 15 ) 2003年

簡易化されたポリシに基づいたSELinuxアクセス制御の安全性評価

末安克也, 田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2003 ( 15 ) 2003年

ベイジアンフィルタと送信者確認方式を併用した迷惑メール対策の評価

岩永学, 田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2003 ( 15 ) 2003年

確率ネットワークを用いたプログラムの異常動作を検知する手法

たたら講平, 田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2003 ( 15 ) 2003年

検証エージェントを用いたモバイルエージェント改ざん検出システムの実装と評価

小手川祐樹, 田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2003 ( 15 ) 2003年

カプセル化構造の破壊によるJavaソースコードの難読化手法の評価尺度の提案

福島和英, 田端利宏, 桜井幸一

情報処理学会シンポジウム論文集 2003 ( 15 ) 2003年

B-46 Tenderにおけるプレート機能を利用した資源の永続化(分散システム,B.ソフトウェア)

的野司, 田端利宏, 谷口秀夫

情報科学技術フォーラム一般講演論文集 2002 ( 1 ) 179 - 180 2002年9月

Webサーバを利用したTenderの資源「演算」の評価 : 複数プロセスの実行性能調整機能

田端利宏, 野口直樹, 中島耕太, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 90 ( 60(OS-90) ) 33 - 40 2002年6月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

計算機の性能向上により,1台の計算機で多くのサービスを提供することが可能になった.しかし,サービス毎に要求する実行性能が異なるため,各サービスに合わせた実行性能の保証が必要になっている.また,ひとつのサービスは,複数のプロセスで構成されることが多い.したがって,複数のプロセスをひとつの単位とし,その単位で実行性能を調整できる機能が望まれる.我々は,Tenderオペレーティングシステムにおいて,プロセッサの割り当て単位である資源「演算」を利用した,複数プロセスの実行性能調整機能を提案している.本論文では,提案した機能をWebサーバを利用して評価した結果を報告する.具体的には,Apache WebサーバをTenderで実行するために実現したBSD/OS互換システムコールインタフェースについて述べる。また,BSD/OS互換システムコールインタフェース,およびApache Webサーバの性能を評価した結果を報告する.最後に,提案した機能の評価結果を報告する.

Web サーバを利用した Tender の資源「演算」の評価 : 複数プロセスの実行性能調整機能

田端利宏, 野口直樹, 中島耕太, 谷口秀夫

電子情報通信学会技術研究報告. CPSY, コンピュータシステム 102 ( 153 ) 33 - 40 2002年6月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

計算機の性能向上により,1台の計算機で多くのサービスを提供することが可能になった.しかし,サービス毎に要求する実行性能が異なるため,各サービスに合わせた実行性能の保証が必要になっている.また,ひとつのサービスは,複数のプロセスで構成されることが多い.したがって,複数のプロセスをひとつの単位とし,その単位で実行性能を調整できる機能が望まれる.我々は,Tenderオペレーティングシステムにおいて,プロセッサの割り当て単位である資源「演算」を利用した,複数プロセスの実行性能調整機能を提案している.本論文では,提案した機能をWebサーバを利用して評価した結果を報告する.具体的には,Apache WebサーバをTenderで実行するために実現したBSD/OS互換システムコールインタフェースについて述べる.また,BSD/OS互換システムコールインタフェース,およびApache Webサーバの性能を評価した結果を報告する.最後に,提案した機能の評価結果を報告する.

Tender における異種OS インタフェースの共存手法

田端利宏, 野口直樹, 中島耕太, 谷口秀夫

第64回全国大会講演論文集 2002 ( 1 ) 5 - 6 2002年3月

プロセッサの実行性能を示す尺度の提案

田端利宏, 谷口秀夫

第63回全国大会講演論文集 2001 ( 1 ) 75 - 76 2001年9月

Tender におけるプロセス変身機能の設計

石井陽介, 田端利宏, 谷口秀夫

第63回全国大会講演論文集 2001 ( 1 ) 83 - 84 2001年9月

Tender における資源「演算」を利用したプロセスグループの実行速度調整法

田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 88 ( 78(OS-88) ) 3 - 10 2001年7月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

計算機を利用した様々なサービスが提供されている.計算機で提供されるサービスは, 複数のプロセスから構成されることが多い.例えば, Webサーバでは, サーバ側で複数の子プロセスをあらかじめ用意し, クライアントの接続要求毎に, 子プロセスが処理を行う.これまでに, 我々が提案したプログラム実行速度調整方式では, プロセスを単位として, プログラム実行速度を調整できる.しかし, 複数プロセスから構成されるサービスを単位として, 実行速度を調整することはできない.こそで, 我々は, 資源「演算」を利用したプロセスグループの実行速度調整法を提案する.提案方式では, サービスを構成するプロセス群をプロセスグループという実行速度調整の単位として扱う.本論文では, 資源「演算」を利用し, プロセスグループを構成し, その実行速度を調整する方法について述べる.具体的には, プロセスグループを「演算」の木構造で表すことにより, プロセスグループを実現する.「演算」を利用したことで, プロセスグループの実行速度調整と処理時間の保証が可能となる.さらに, サービスの処理内容に合わせて, プロセスグループの階層化が可能となる.

1.プログラムの実行速度を自由に操る : プログラム実行速度の調整制御法

谷口秀夫, 田端利宏

情報処理 42 ( 2 ) 付録48 2001年2月

複数プロセス制御におけるプログラム実行速度調整法の実現と評価

田端利宏, 谷口秀夫, 牛島和夫

第61回全国大会講演論文集 2000 ( 1 ) 37 - 38 2000年10月

データ部の初期化によるプロセス再起動機構の実現と評価

田端利宏, 谷口秀夫

九州大学大学院システム情報科学紀要 5 ( 2 ) 237 - 242 2000年9月

複数プロセス制御に向けたプログラム実行速度調整法の評価

田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 84 ( 43 ) 229 - 236 2000年5月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

プログラムの実行速度を調整できれば、ハードウェア性能に関係なく利用者の使いやすい速度にソフトウェアの実行速度を調整できる。我々はプログラム実行速度調整法として、プロセスのスケジュール法を工夫する方式を提案した。提案した方式は一つのプロセスのみを対象としており、複数プロセスを制御した場合には、プログラムの処理の均一性が低下するため、複数プロセス制御に向けた調整法の確立が必要である。また、複数プロセスの走行環境には、様々な組合せがあり、すべての組合せで滑らかな動きで、実行速度を調整する必要がある。このため、シミュレータにより処理の均一性の実測値の予測を可能にすることが望まれる。本論文では、プログラム実行速度の調整法の基本方式について説明し、複数プログラム制御に向けた問題点と対処、および評価結果について述べる。また、シミュレータによる処理の均一性の評価結果と実測による測定結果との関係を明らかにする。

複数プロセス制御に向けたプログラム実行速度調整法の評価

田端利宏, 谷口秀夫

電子情報通信学会技術研究報告. CPSY, コンピュータシステム 100 ( 87 ) 49 - 56 2000年5月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

プログラムの実行速度を調整できれば、ハードウェア性能に関係なく利用者の使いやすい速度にソフトウェアの実行速度を調整できる。我々はプログラム実行速度調整法として、プロセスのスケジュール法を工夫する方式を提案した。提案した方式は一つのプロセスのみを対象としており、複数プロセスを制御した場合には、プログラムの処理の均一性が低下するため、複数プロセス制御に向けた調整法の確立が必要である。また、複数プロセスの走行環境には、様々な組合せがあり、すべての組合せで滑らかな動きで、実行速度を調整する必要がある。このため、シミュレータにより処理の均一性の実測値の予測を可能にすることが望まれる。本論文では、プログラム実行速度調整法の基本方式について説明し、複数プロセス制御に向けた問題点と対処、および評価結果について述べる。また、シミュレータによる処理の均一性の評価結果と実測による測定結果との関係を明らかにする。

データ部の初期化によるプロセスの再起動機構

田端利宏, 谷口秀夫, 牛島和夫

第60回全国大会講演論文集 2000 ( 1 ) 5 - 6 2000年3月

プロセス再起動機能の提案と評価

田端利宏, 谷口秀夫

情報処理学会シンポジウム論文集 2000 ( 13 ) 2000年

プログラム実行速度調整機能における処理の均一性向上手法

田端利宏, 谷口秀夫, 牛島和夫

全国大会講演論文集 59 ( 0 ) 143 - 144 1999年9月

Tender オペレーティングシステムにおけるプロセス間通信機能の実現と評価

田端利宏, 谷口秀夫

電子情報通信学会技術研究報告. CPSY, コンピュータシステム 99 ( 37 ) 95 - 100 1999年5月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

プログラム構造を重視して機能を実現したTender(The ENduring operating system for Distributcd EnviRonment)オペレーティングシステムのプロセス間通信機能について述べる。Tenderでは、単一仮想記憶と多重仮想記憶を融合したヘテロ仮想記憶を実現した。ヘテロ仮想記憶では、複数の仮想記憶空間が存在し、ーつの仮想記憶空間に0個以上のプロセスが存在でき、プロセスが仮想記憶空間の間を移動できる。このため、プロセスの処理内容に合わせて、協調処理を行なうことが可能である。本論文では、Tenderのメモリ関連資源とヘテロ仮想記憶の特徴を生かしたプロセス間通信機能について述べる。プロセス間通信に関わる資源として、資源「コンテナ」、「コンテナボックス」、「イベント」を導入し、実現した。また、実測と評価により、プロセス間通信の基本性能を示す。

Tender オペレーティングシステムにおけるプロセス間通信機能の実現と評価

田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 81 ( 32(OS-81) ) 95 - 100 1999年5月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

プログラム構造を重視して機能を実現したTender (The ENduring operating system for Distributed EnviRonment) オペレーティングシステムのプロセス間通信機能について述べる。Tenderでは、単一仮想記憶と多重仮想記憶を融合したヘテロ仮想記憶を実現した。ヘテロ仮想記憶では、複数の仮想記憶空間が存在し、一つの仮想記憶空間に0個以上のプロセスが存在でき、プロセスが仮想記憶空間の間を移動できる。このため、プロセスの処理内容に合わせて、協調処理を行なうことが可能である。本論文では、Tenderのメモリ関連資源とヘテロ仮想記憶の特徴を生かしたプロセス間通信機能について述べる。プロセス間通信に関わる資源として、資源「コンテナ」、「コンテナボックス」、「イベント」を導入し、実現した。また、実測と評価により、プロセス間通信の基本性能を示す。

Tenderオペレーティングシステムにおけるプロセス間通信機能

田端利宏, 谷口秀夫, 牛島和夫

全国大会講演論文集 58 ( 0 ) 89 - 90 1999年3月

Tenderにおける資源「演算」の獲得によるサービス処理時間の保証

田端利宏, 谷口秀夫

情報処理学会シンポジウム論文集 99 ( 16 ) 1999年

Tenderオペレーティングシステムにおけるプログラム実行速度調整機能の設計と実現

田端利宏, 谷口秀夫, 牛島和夫

全国大会講演論文集 57 ( 0 ) 95 - 96 1998年10月

単一仮想記憶と多重仮想記憶を共存させたヘテロ仮想記憶の実現

谷口秀夫, 長嶋直希, 田端利宏

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 78 ( 39 ) 87 - 94 1998年5月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

単一仮想記憶と多重仮想記憶を融合させたヘテロ仮想記憶の機能を提案する。ヘテロ仮想記憶は、複数の仮想記憶空間を有し、一つの仮想記憶空間内には0個以上のプロセスが存在でき、プロセスには仮想記憶空間の間を移動できる機能を提供する。これにより、単一仮想記憶と多重仮想記憶の長所を最大限に引き出して利用することが可能になる。さらに、ヘテロ仮想記憶をTenderオペレーティングシステムに実装し、評価した。既存の仮想記憶空間を利用することにより、プロセスの生成削除時間を削減できる。また、プロセスの仮想記憶空間移動時間は、移動するプロセスの大きさの影響をほとんど受けず、わずか0.7ミリ秒程度である。

プロセス構成要素を再利用したプロセスの生成と消滅の高速化

田端利宏, 谷口秀夫

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] 78 ( 39 ) 79 - 86 1998年5月

記述言語：日本語出版者・発行元：一般社団法人情報処理学会

プロセスの各構成要素を再利用することによるプロセスの生成と消滅の高速化の有効性について報告する。Tenderでは、プロセスの構成要素を資源として分離し独立化している。そのため、プロセスとは独立してプロセスを構成する資源が存在できる。このことを利用し、事前に資源を作りおきしたり、すでに存在する資源を再利用したりすることにより、プロセス生成をの高速化できる。また、プロセス消滅時には、プロセスが確保していた資源をプロセスと一緒に消滅させずに、再利用のために残すことにより、プロセスの消滅を高速化できる。この資源再利用の機能をTenderに実装し実測評価した結果、プロセスに関連するすべての資源を再利用することによりプロセスの生成と消滅の時間を15ミリ秒以上高速化できる。

Tenderオペレーティングシステムにおけるプロセス制御機能の設計と実現

田端利宏, 谷口秀夫

全国大会講演論文集 56 ( 0 ) 72 - 73 1998年3月

単一仮想記憶と多重仮想記憶を共存させたヘテロ仮想記憶の実現

谷口秀夫, 長嶋直希, 田端利宏

電子情報通信学会技術研究報告 98 ( 39(CPSY98 27-38) ) 1998年

Tenderオペレーティングシステムにおけるプロセス実行機構の実現と評価

田端利宏, 谷口秀夫

情報処理学会シンポジウム論文集 98 ( 15 ) 1998年

プロセス構成要素を再利用したプロセスの生成と消滅の高速化

田端利宏, 谷口秀夫

電子情報通信学会技術研究報告 98 ( 39(CPSY98 27-38) ) 1998年

　前のページ - 次のページ　

1