课题基金 / 基金详情

Development of e-learning system for human resource development in the information security field

Development of e-learning system for human resource development in the information security field
信息安全领域人力资源开发电子学习系统的开发
批准号：
18K02917
负责人：
Murakami Yasuyuki
金额：
$2.75万
依托单位：
Osaka Electro-Communication University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2022-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K02917/
关键词：
情報セキュリティ人材育成暗号技術学習支援eラーニングシステム形式化安全性自動検証ProVerifMoodleVirtual Programing Lab形式的暗号プロトコル安全性検証ツールCAI教材ProverifVirtual Programming LabICT技術者

项目摘要

项目成果

Murakami Yasuyuki的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(21)
专著(0)
科研奖励(0)
会议论文
Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif
ProVerif 中加密哈希函数的安全要求和攻击模型的形式化
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa]
通讯作者： Yuichi Futa
Formal Verification of Merkle-Damgard Construction in ProVerif
ProVerif 中 Merkle-Damgard 构造的形式化验证
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai]
通讯作者： Kenichi Arai
モデル検査器ProVerifによるDES暗号の形式化
使用模型检查器 ProVerif 形式化 DES 加密
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai, 吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦, 吉村　東悟,荒井　研一,岡崎　裕之,布田　裕一,三重野　武彦, 高橋 幸宏,布田 裕一,岡崎 裕之,鈴木 彦文, 磯貝 百恵,岡崎 裕之,荒井 研一,布田 裕一,三重野武彦]
通讯作者： 磯貝 百恵,岡崎 裕之,荒井 研一,布田 裕一,三重野武彦
ProVerifを用いたMD変換の形式化
使用 ProVerif 形式化 MD 转换
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai, 吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦]
通讯作者： 吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
共 19 条
    Fundamental Archaeological Research on estates of To-ji Temple -Niimi-no-sho and Yuge-no-sho-
    • 批准号：
      16H03508
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $9.32万
    • 财政年份：
      2016
    • 负责人：
      Murakami Yasuyuki
    • 依托单位：
      Ehime University
    Empirical study based on fieldwork on origin and transmission of the technique of the iron study
    • 批准号：
      25257011
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $28.62万
    • 财政年份：
      2013
    • 负责人：
      Murakami Yasuyuki
    • 依托单位：
      Ehime University