刷新
{{item.name}}会员
Verification and Development Environment of Secure Software using Information Flow Analysis and Type Error Slicing
使用信息流分析和类型错误切片的安全软件验证和开发环境
基本信息
- 批准号：24700036
- 负责人：
- 金额：$ 1.75万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2012
- 资助国家：日本
- 起止时间：2012-04-01 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
静的検査ツールにおける警告箇所の版間追跡による確認コスト削減手法
通过跟踪静态检查工具中版本之间的警告点来降低确认成本的方法
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：渥美 紀寿;桑原 寛明
- 通讯作者：桑原 寛明
Coarse-Grained Frame for Replaying Editing Operation History
用于回放编辑操作历史的粗粒度框架
- DOI：10.11309/jssst.30.4_61
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Takayuki Omori;Hiroaki Kuwabara;Katsuhisa Maruyama;桑原 寛明，國枝 義敏;桑原 寛明，大森 隆行
- 通讯作者：桑原 寛明，大森 隆行
情報流解析におけるDeclassifierの配置手法
信息流分析中的解密器放置方法
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：Takayuki Omori;Hiroaki Kuwabara;Katsuhisa Maruyama;桑原 寛明，國枝 義敏;桑原 寛明，大森 隆行;渥美 紀寿，桑原 寛明;桑原 寛明，國枝 義敏;渥美 紀寿，桑原 寛明;桑原 寛明，國枝 義敏
- 通讯作者：桑原 寛明，國枝 義敏
A Method of Declassifiers Placement in Information Flow Analysis
信息流分析中解密器的放置方法
- DOI：10.11309/jssst.32.1_136
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Takayuki Omori;Hiroaki Kuwabara;Katsuhisa Maruyama;桑原 寛明，國枝 義敏
- 通讯作者：桑原 寛明，國枝 義敏
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
KUWABARA Hiroaki其他文献
KUWABARA Hiroaki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
筋萎縮性側索硬化症に伴う球麻痺症候の音響音声学的バイオマーカーと類型システム
肌萎缩侧索硬化症相关延髓麻痹综合征的声学生物标志物和类型学系统
- 批准号：
24K20509 - 财政年份：2024
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
非集中型システムにおける省資源高速ブロードキャスト技術の研究
分散系统中资源节约型高速广播技术研究
- 批准号：
24K14935 - 财政年份：2024
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
「化学変化の過程」を視覚的・力覚的に体感する分子模型システム教材の開発
开发提供“化学变化过程”视觉和动觉体验的分子模型系统教材
- 批准号：
23K02773 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
短距離走選手における競技力向上と障害予防の統合的理解と現場特化型システム実装
综合理解和针对特定领域的系统实施，以提高短跑运动员的竞争能力并防止受伤
- 批准号：
23K10648 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
「足るを知れる」データ駆動型システム設計論：どこまで把握/制御/保護できるか
“知道什么就足够了”数据驱动的系统设计理论：在多大程度上可以理解、控制和保护它？
- 批准号：
22K14276 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
直列型システムに対する経営効率性分析の理論構築と実証分析
串行系统管理效率分析的理论构建与实证分析
- 批准号：
22K04588 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
医療的ケア児政策の複合的政策デザイン研究-地域協働型システムの構造分析から-
医养儿童政策综合政策设计研究——从区域协同体系结构分析——
- 批准号：
21K13551 - 财政年份：2021
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
ガード付き型システムの圏論的解明
保护类型系统的范畴论阐释
- 批准号：
21K11762 - 财政年份：2021
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
高効率なデータ収集法に基づくデータベース駆動型システムの構築
基于高效数据收集方法构建数据库驱动系统
- 批准号：
21K14186 - 财政年份：2021
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
スポーツを日常化するためのリアルタイムユーザーリード型システムの開発
开发实时用户主导的系统，使体育运动成为日常
- 批准号：
20K11449 - 财政年份：2020
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)