Practical software theft detection with software birthmarks

实用的软件盗窃检测与软件胎记

• 批准号: 20K11761
• 负责人: 玉田 春昭
• 金额: $ 2.75万
• 依托单位: Kyoto Sangyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K11761/
• 关键词: シンボリック実行; 原告ソフトウェア; 動的バースマーク; ソフトウェアの盗用検出; テストの自動生成; バースマークの堅牢性評価; ソフトウェア保護; Project as a City; プロジェクトの可視化; 盗用検出; ソフトウェアバースマーク; バースマークの堅牢生評価; スケールアップ; 動的解析の自動化; 記号実行

本研究の目的は，専門知識なしに，ソフトウェアの盗用の検出が行えるシステムの構築にある．そのために(A) 動的バースマークの抽出の自動化，(B) バースマークの判定基準の改善，(C) 検査対象規模の拡大，そして (D) バースマークの堅牢性評価という4つの研究課題を挙げている．従来，動的解析が必要な動的バースマークの抽出には，同じような経路を通るようにするため，人手による入力の調整が必要であった．しかし，先行研究により，原告ソフトウェア（盗用ではない出自が明らかなもの）に限れば，単体テストを用いることで，動的バースマークの自動抽出が行えるようになった．(A)ではこの手法の被告ソフトウェアへの拡張を狙う．そのために，テストの自動生成技術を用いて単体テストを生成し，従来手法の適用を考える．本年は主に(A)に取り組み，シンボリック実行技術を用いて，原告から入力を導出し，得られた入力をそのまま被告にも与えられるようになった．ただし，入力を導出できるプログラムの規模は小規模なものであり，大規模なプログラムに対しては対応できていない．一方，プロジェクトを特徴付けるメトリクスについても調査した．GitHubは広く一般に使われるプロジェクトホスティングサービスである．つまり，このGitHubに登録されているプロジェクトは原告ソフトウェアとして利用できることになる．そこでGitHubの任意のプロジェクトの特徴を抽出するツールを作成した．ここで得られた特徴は，引いてはプログラムの特徴にも紐付けられると期待できる．これはつまり，原告ソフトウェアに限定されるものの，(C) 検査対象規模の拡大の成果に結びつく．

The purpose of this study is to investigate the structure of the system. (A) Automatic extraction of dynamic parameters;(B) Improvement of criteria for determining parameters;(C) Increase in the size of inspection objects;(D) Evaluation of robustness of parameters;(4) Research topics. The analysis of the movement is necessary. The adjustment of the force is necessary. In the first research, the plaintiff's software is not available (theft is not available from the public). In the second research, the plaintiff's software is not available. In the third research, the plaintiff's software is automatically extracted from the public. (A)The defendant's method is to correct the situation. The automatic generation technology of the sample is used to generate the sample, and the application of the method is examined. This year, the main body (A) is selected from the group, and the plaintiff enters the force. The scale of the project is small, and the scale of the project is large. A party, the characteristics of the search.GitHub generally enable the search.つまり，このGitHubに登录されているプロジェクトは原告ソフトウェアとして利用できることになる. GitHub's arbitrary features are extracted and created. The characteristics of the game are different, and the game is different. (C) Check the size of the object and the results of the inspection.

项目成果

自発的ソフトウェア進化におけるプロジェクトの成長過程可視化ツールの試作

可视化软件自发演化中项目成长过程的工具原型

• 发表时间: 2021
• 作者: 樋口 凱斗;玉田 春昭;戸田 航史;中村 匡秀
• 通讯作者: 中村 匡秀

GitHub における模範プロジェクトの検出とその成長パターンの分類に向けて

检测 GitHub 上的示范项目并对其增长模式进行分类

• 发表时间: 2022
• 作者: 開出 凱斗;玉田 春昭，戸田 航史，中村 匡秀
• 通讯作者: 玉田 春昭，戸田 航史，中村 匡秀

Argo: Projects’ Time-Series Data Fetching and Visualizing Tool for GitHub

Argo：Projects 的 GitHub 时间序列数据获取和可视化工具

• 发表时间: 2022
• 作者: Kaide Kaito;Tamada Haruaki
• 通讯作者: Tamada Haruaki

SMTソルバによる命令列生成を用いたアセンブリプログラムの難読化

使用 SMT 求解器生成指令序列来混淆汇编程序

• 发表时间: 2021
• 作者: 倉重 徹;末次 健太郎;角 幸一郎;名倉 正剛;高田 眞吾;浅原 明広;小澤司，青山幹雄，沢田篤史，野呂昌満;光本智洋，神崎雄一郎
• 通讯作者: 光本智洋，神崎雄一郎

シンボリック実行を利用した動的ソフトウェアバースマークの抽出システムの検討

基于符号执行的动态软件胎记提取系统研究

• 发表时间: 2023
• 作者: 松田 隼汰;神崎 雄一郎;光本 智洋;玉田 春昭
• 通讯作者: 玉田 春昭