京都大学 / 0048 / 新制・課程博士 / 博士(工学) / 甲第17983号 / 工博第3812号 / 新制||工||1584(附属図書館) / 80827 / 京都大学大学院工学研究科建築学専攻 / (主査)教授 西山 峰広, 教授 田中 仁史, 教授 金子 佳生 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DFAM

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第15311号 / 工博第3190号 / 新制||工||1480(附属図書館) / 27789 / 京都大学大学院工学研究科社会基盤工学専攻 / (主査)教授 宮川 豊章, 教授 朝倉 俊弘, 教授 河野 広隆 / 学位規則第4条第1項該当

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第16390号 / 工博第3471号 / 新制||工||1525(附属図書館) / 29021 / 京都大学大学院工学研究科建築学専攻 / (主査)教授 上谷 宏二, 教授 田中 仁史, 教授 西山 峰広 / 学位規則第4条第1項該当

京都大学 / 0048 / 新制・課程博士 / 博士(工学) / 甲第18237号 / 工博第3829号 / 新制||工||1587(附属図書館) / 31095 / 京都大学大学院工学研究科社会基盤工学専攻 / (主査)教授 宮川 豊章, 教授 河野 広隆, 教授 西山 峰広 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DFAM

京都大学 / 0048 / 新制・課程博士 / 博士(工学) / 甲第19988号 / 工博第4232号 / 新制||工||1655(附属図書館) / 33084 / 京都大学大学院工学研究科建築学専攻 / (主査)教授 中島 正愛, 教授 川瀬 博, 教授 竹脇 出 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DFAM

在這篇論文中我們利用程式碼補強達到使有害的攻擊字串用最小的編輯成本去修正成無害的一般字串,主要分為兩個階段,第一階段,我們利用一個安全性分析工具Stranger來分析使用者的PHP原始碼,藉此找到可能被程式碼注入的攻擊點,並產生基於確定有限狀態自動機基礎的安全特徵,這個安全特徵包含了所有可被接受的無害字串可以當作攻擊過濾器使用,第二階段,我們採取基於文字與自動機之間最短編輯距離的演算法來以最少成本修正攻擊字串,有害的攻擊字串會被一個最少變動的無害字串所取代,我們結合所提出的方法來測試一些網頁跟回報實驗結果 / The security problems of web application are always questioned and concerned by users because that can cause huge loss of nancial and privacy. We want to provide a online service that is open to public users, who can access and upload their codes to check for potential vulnerabilities. Moreover, if there exist vulnerabilities and may be cause damages, it will guide users how they can edit their codes through a easy way step by step. In this paper, we propose an optimal word correction approach for patching string related vulnerabilities in web applications. To be brief, we synthesize patches that sanitize malicious inputs to normal ones with the shortest edit distance. The analysis consists of two phases: First, we use automata based static string analysis techniques called Stranger to detect vulnerabilities in web applications, and generate sanitization signatures that accept un-malicious inputs as an input lter that ensures the vulnerabilities are not exploited with respect to given attack patterns. Second, we adopt the shortest edit-distance algorithms between words and automata to nd a minimum way on the cost of edit distance to patch malicious inputs. A malicious input (not accepted by the sanitization signature) is replaced with an unmalicious string and has the minimum change of character from the original input. We integrate the presented approach with Stranger and report the result of experiments on various web applications.

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第15357号 / 工博第3236号 / 新制||工||1487(附属図書館) / 27835 / 京都大学大学院工学研究科都市環境工学専攻 / (主査)教授 木村 亮, 教授 田村 武, 教授 岡 二三生 / 学位規則第4条第1項該当

京都大学 / 新制・課程博士 / 博士(工学) / 甲第23486号 / 工博第4898号 / 新制||工||1765(附属図書館) / 京都大学大学院工学研究科社会基盤工学専攻 / (主査)教授 山本 貴士, 教授 八木 知己, 教授 高橋 良和 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DFAM

京都大学 / 0048 / 新制・課程博士 / 博士(工学) / 甲第18651号 / 工博第3960号 / 新制||工||1609(附属図書館) / 31565 / 京都大学大学院工学研究科社会基盤工学専攻 / (主査)教授 杉浦 邦征, 教授 白土 博通, 教授 五十嵐 晃 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DFAM

京都大学 / 0048 / 新制・課程博士 / 博士(地球環境学) / 甲第21284号 / 地環博第179号 / 新制||地環||36(附属図書館) / 京都大学大学院地球環境学舎地球環境学専攻 / (主査)教授 勝見 武, 教授 高岡 昌輝, 准教授 乾 徹 / 学位規則第4条第1項該当 / Doctor of Global Environmental Studies / Kyoto University / DGAM