Practical Software Development Support based on Safety Verification using Information Flow Analysis
Practical Software Development Support based on Safety Verification using Information Flow Analysis
基于信息流分析的安全验证的实用软件开发支持
批准号：
17K12666
负责人：
Kuwabara Hiroaki
金额：
$1.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(17)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法
使用Stream API的Java程序中流重用的静态检测方法
使用Stream API的Java程序中流重用的静态检测方法
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[荒木 良仁, 桑原 寛明, 國枝 義敏]
通讯作者：
國枝 義敏
情報流解析における制約付き機密度パラメータ
信息流分析中的约束敏感度参数
信息流分析中的约束敏感度参数
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[桑原 寛明, 國枝 義敏, 奥野 航平，内匠 真也，大月 勇人，瀧本 栄二，毛利 公一, 内匠 真也，奥野 航平 ，大月 勇人，瀧本 栄二，毛利 公一, 桑原 寛明，國枝 義敏．]
通讯作者：
桑原 寛明，國枝 義敏．
記述の共通性に着目したプログラムのダイジェスト化手法の提案
提出一种注重描述共性的程序消化方法
提出一种注重描述共性的程序消化方法
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[荒木 良仁, 桑原 寛明, 國枝 義敏, 長谷川 健太，桑原 寛明，國枝 義敏, 桑原 寛明，國枝 義敏, 荒木 良仁，桑原 寛明，國枝 義敏, 吉田 敦，加藤 大貴，蜂巣 吉成，桑原 寛明，阿草 清滋, 長谷川 健太，桑原 寛明，國枝 義敏, 桑原 寛明，國枝 義敏, 加藤 宗一郎，吉田 敦，蜂巣 吉成，桑原 寛明]
通讯作者：
加藤 宗一郎，吉田 敦，蜂巣 吉成，桑原 寛明
字句列の共通性に基づく例外処理条件文の抽出手法の提案
一种基于词串共性的异常处理条件句提取方法的提出
一种基于词串共性的异常处理条件句提取方法的提出
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[吉田 敦, 加藤 大貴, 蜂巣 吉成, 桑原 寛明, 阿草 清滋]
通讯作者：
阿草 清滋
情報流解析における機密度ワイルドカードの検討．
信息流分析中敏感性通配符的研究。
信息流分析中敏感性通配符的研究。
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Higashi Yunosuke, Ohira Masao, Kashiwa Yutaro, Manabe Yuki, 桑原 寛明]
通讯作者：
桑原 寛明
共 16 条
海外基金