著者

油田 健太郎 山場 久昭 片山 徹郎 朴 美娘 岡崎 直宣

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.56, no.12, pp.2395-2405, 2015-12-15

---

現在,P2Pファイル共有ネットワークが世界中で利用されている.しかし,その多くはファイルの流通制御を持たないため,著作権侵害ファイルの流通やコンピュータウイルスによる個人情報の流出などが社会問題となっている.その解決策としてインデックスポイゾニングと呼ばれるファイル流通制御方式が研究されている.しかし,P2Pファイル共有ネットワークへインデックスポイゾニングを適用する際に,トラフィックの増大やインデックスの汚染などの問題が発生することが確認されている.そこで本論文では,ファイルの流通制御を低下させることなく,それらの問題を解決する手法として,P2Pファイル共有でのクラスタリングに着目して,重点的なポイゾニング機能を提案することで従来手法を改善し,その一部をWinnyネットワーク向けに実装することで,提案手法の有効性を評価する.

著者

片山 徹郎 菰田 敏行 古川 善吾 牛島 和夫

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.34, no.11, pp.2223-2232, 1993-11-15

被引用文献数

3

---

ソフトウェアのテストを行う際、テストデータについての条件を記述したテストケースは、ソフトウェアの信頼性向上に重要な役割を果たす。逐次処理プログラムのテストケース作成技法については、さまざまな方法が実用化されている。しかしながら、並行処理プログラムの場合、テストケースの考え方すらほとんど研究されていない。並行処理プログラムが実用化されるようになり、並行処理プログラムのテストの質を向上させることが重要になっている。本稿では、並行処理プログラムのテストケースの定義、およびその生成ツール(TCgen)の試作と利用経験について述べる。プログラム単位ごとに事象グラフを作り、事象グラフ間で同期する節点を同期関係で結んだ事象同期グラフ(ESG)によって、並行処理プログラムをモデル化する。事象同期グラフ上の協調路(Copath)を、並行処理プログラムのテストケースと定義する。テストケース生成ツールTCgenは、プログラミング言語Adaで書かれた並行処理プログラムを入力とし、協調路を出力とするツールである。ツールTCgenによって作成された協調路は、テストケースの漏れや重複を少なくすると期待される。しかしながら、実際のテストデータを作成する段階で、実行可能性についての間題が残る。

著者

西山 直希 片山 徹郎 最所圭三 福田 晃

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:09196072)

巻号頁・発行日

vol.1998, no.71, pp.69-76, 1998-08-06

参考文献数

7

被引用文献数

1

---

家電製品や計測機器などに組み込まれているコンピュータ、いわゆる、組み込みシステムが重要視され、様々なシステムが開発されている。また併せて、組み込みシステムに特化した専用のソフトウェアも作成されている。本稿では、組み込みシステムの制御ソフトウェア開発の際にかかる負担を軽減するために、機器制御ライブラリの生成支援を目指す。ここでいう、機器制御ライブラリとは、機器を直接制御するコードであり、低レベルデバイスドライバと呼ぶ。8ビット、あるいは16ビットワンチップマイコンなどを使用した、制御向け小規模組み込みシステムにおけるアプリケーション開発を支援するため、低レベルデバイスドライバの生成システムを提案し、システムの入力形式、および生成自動化の可能性について考察する。Embedded systems such as computers used in electrical appliances and instruments are considered. Various embedded systems are developed, and software dedicated to them is also. This paper shows support to generate libraries of devices to reduce the burden in development of software to control an embedded system. A library of devices is defined as a set of codes to directly control a device and is called as a low-level device drivers. A low-level device driver generation system is proposed in order to support development or an application program for a small scale embedded system with an 8-bit/16-bit micro-computer. Input forms of the low-level device driver generation system and the possibility of automatic generating the low-level device driver are examined.

著者

佐藤 拓弥 片山 徹郎 喜多 義弘 山場 久昭 油田 健太郎 岡崎 直宣

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.59, no.4, pp.1137-1149, 2018-04-15

---

ソフトウェア開発におけるデバッグは,手間のかかる工程である.プログラムの欠陥を効率良く特定するためには,プログラム実行時の挙動を把握することが重要である.しかし,プログラム実行時の挙動は一般的に不可視であり,その挙動がどこまで正しかったのかを把握することは困難である.そこで,本研究では,Javaプログラムのデバッグの効率化を目的として,プログラムの欠陥特定を支援するデータ遷移可視化ツールTFVIS(Transitions and Flow VISualization)を開発した.TFVISは,プログラム実行時のデータ遷移と実行フローの可視化を行う.評価実験では,TFVISを活用することで欠陥特定に要する時間を約35%削減できることを確認した.このことから,TFVISによる可視化がデバッグ効率の向上に効果的であるといえる.

著者

山場 久昭 長友 想 油田 健太郎 久保田 真一郎 片山 徹郎 朴 美娘 岡崎 直宣

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. IOT, [インターネットと運用技術] (ISSN:09196072)

巻号頁・発行日

vol.2015, no.32, pp.1-6, 2015-05-14

---

近年,スマートフォンやタブレットのようなモバイル端末の普及に伴い,覗き見によって認証に必要な情報が第三者に取得されてしまてしまうことが問題となってきている.これを解決する技術として,指紋などの生体情報を用いた生体認証が注目されている.本論文では,そのひとつである筋電位を用いた個人認証について検討を行う.具体的には,前腕部の筋電位の波形が手首から先の手の動き (ジェスチャー) によって異なる波形を示すことを利用し,そのジェスチャーを組み合わせてパスワードとして用いる手法を提案する.今回は,個人認証に用いる生体認証として筋電位が利用可能であるのか,筋電位の波形からジェスチャーを判断することができるのか,また,それを計算機上に行わせるのが可能かどうかについて検討を行ったので,報告する.

著者

田村 拓己 久保田 真一郎 油田 健太郎 片山 徹郎 朴 美娘 岡崎 直宣

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.56, no.3, pp.808-818, 2015-03-15

---

ボットによるWebサービスの不正利用対策として,CAPTCHAと呼ばれる反転チューリングテストが利用されている.Webサイトへの導入のしやすさや回答方式の理解のしやすさから,文字列の画像を用いたCAPTCHA方式が広く普及している.しかし,ボットによる文字認識技術の発展が著しく,高い確率でテストが突破されるなど,その脆弱性が指摘されている.高度化するボットの文字認識技術に対抗し,解読難度を高くしたCAPTCHAや画像識別などの人間の高度な能力を利用するCAPTCHAが提案されているが,利便性が低いことや特定の攻撃に弱い点が問題となっている.本稿では,人間特有の画像認識能力を利用することで,利便性を保ち十分な堅牢性を持つ新たなCAPTCHA方式を提案する.提案手法は,判定に利用する提示画像に正答の文字列を含まないようにすることで文字認識攻撃に耐性を持たせた.また,提示画像には,人間が画像を補完して認識できる程度の妨害図形を付加し,堅牢性を向上させた.提案手法の有効性を確認するため,画像CAPTCHA方式において考えられる攻撃への耐性を考察し,利便性の評価としてアンケートによるユーザビリティ評価を行った.その結果,システム実装に必要な妨害図形の量に関する閾値を明らかにし,提案手法が攻撃に対して十分な耐性を持ち,ユーザビリティが優れていることを示した.A reversal turing test called CAPTCHA is used in many webservice sites to prevent the automatic program called bots from making unauthorized accounts. The CAPTCHA with images of correct answer string, called as the text-based CAPTCHA, is widely prevalent because of an ease implementing in the website. The optical character recognition technologies enable bots solve the text-based CAPTCHA automatically. Any researchers have pointed out the vulnerability of the text-based CAPTCHA. Absorbing the vulnerability of the text-based CAPTCHA, the image-based CAPTCHA is proposed, which use the human abilities to discern objects in images. However, the existing image-based CAPTCHAs also have problems about usability and robustness. In this paper, we propose a new image-based CAPTCHA using images without a correct answer string and with obstruction figures, to achieve high usability and robustness. In order to confirm a effectiveness of the proposed method, we argue to absorb some considerable attacks in the image-based CAPTCHA, and conduct assessment of usability through our questionnaire. The results show that the proposed system absorb the attacks adequately and has usability.