Development of e-learning system for human resource development in the information security field
信息安全领域人力资源开发电子学习系统的开发
基本信息
- 批准号:18K02917
- 负责人:
- 金额:$ 2.75万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2018
- 资助国家:日本
- 起止时间:2018-04-01 至 2022-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(21)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif
ProVerif 中加密哈希函数的安全要求和攻击模型的形式化
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Togo Yoshimura;Kenichi Arai;Hiroyuki Okazaki;Yuichi Futa
- 通讯作者:Yuichi Futa
Formal Verification of Merkle-Damgard Construction in ProVerif
ProVerif 中 Merkle-Damgard 构造的形式化验证
- DOI:
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Mieno Takehiko; Yoshimura Togo; Hiroyuki Okazaki; Yuichi Futa; Kenichi Arai
- 通讯作者:Kenichi Arai
モデル検査器ProVerifによるDES暗号の形式化
使用模型检查器 ProVerif 形式化 DES 加密
- DOI:
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Mieno Takehiko; Yoshimura Togo; Hiroyuki Okazaki; Yuichi Futa; Kenichi Arai;吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦;吉村 東悟,荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦;高橋 幸宏,布田 裕一,岡崎 裕之,鈴木 彦文;磯貝 百恵,岡崎 裕之,荒井 研一,布田 裕一,三重野武彦
- 通讯作者:磯貝 百恵,岡崎 裕之,荒井 研一,布田 裕一,三重野武彦
ProVerifを用いたPolicy-based Chameleon Hashによる修正可能なブロックチェーンの形式化
使用 ProVerif 通过基于策略的 Chameleon 哈希形式化可修改的区块链
- DOI:
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:杉山 航平;荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
- 通讯作者:荒井 研一,岡崎 裕之,布田 裕一,三重野 武彦
{{
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 }}
Murakami Yasuyuki其他文献
Cast-iron smelting and fining: An iron smelting site of the Eastern Han dynasty at Xuxiebian, Sichuan, China
铸铁冶炼和精炼:中国四川须歇边的东汉炼铁遗址
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0.1
- 作者:
Li Yuniu;Ma Chunyan;Juleff Gillian;Murakami Yasuyuki;Zhou Zhiqing,Li Yingfu - 通讯作者:
Zhou Zhiqing,Li Yingfu
On the diffusion of the ancient technique for iron smelting in the Eurasian Continent
论古代炼铁技术在欧亚大陆的传播
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Yasuda;H.;K. Yoda;S.N. Panda;Mohamed A.M. Abd Elbasit;J. Huang;高田良宏,林正治,堀井洋,堀井美里,山地一禎,上田啓未,古畑徹;Itsuhiro Hazama;Murakami Yasuyuki - 通讯作者:
Murakami Yasuyuki
「第2期目習近平政権の政権構想、イデオロギー、リーダーシップ、人事」
《习近平第二任期执政理念、思想、领导、人事》
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Li Yuniu;Ma Chunyan;Murakami Yasuyuki;Zhou Zhiqing;Yang Yingdong,Li Yingfu;鈴木隆 - 通讯作者:
鈴木隆
タイにおける政治的つながりの回路─2019年総選挙前後の変遷とタイ貢献党の政治的集まりを中心に
泰国政治人脉脉络:聚焦2019年大选前后变化及泰国贡献党政治集结
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Li Yuniu;Ma Chunyan;Juleff Gillian;Murakami Yasuyuki;Zhou Zhiqing,Li Yingfu;高城玲 - 通讯作者:
高城玲
Microstructural and elemental analyses of the slags excavated from the Xuxiebian iron smelting site, Sichuan, China
中国四川须谢边炼铁场出土炉渣的显微结构和元素分析
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:1.6
- 作者:
Li Yuniu;Ma Chunyan;Murakami Yasuyuki;Zhou Zhiqing;Yang Yingdong,Li Yingfu - 通讯作者:
Yang Yingdong,Li Yingfu
Murakami Yasuyuki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Murakami Yasuyuki', 18)}}的其他基金
Fundamental Archaeological Research on estates of To-ji Temple -Niimi-no-sho and Yuge-no-sho-
东寺宅邸基础考古研究-新见之庄、游下之庄-
- 批准号:
16H03508 - 财政年份:2016
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Empirical study based on fieldwork on origin and transmission of the technique of the iron study
基于田野调查的炼铁技术起源与传承实证研究
- 批准号:
25257011 - 财政年份:2013
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (A)