Developing Automated formal Verification System for Cryptology
Developing Automated formal Verification System for Cryptology
开发密码学自动化形式验证系统
批准号：
17K00182
负责人：
Okazaki Hiroyuki
金额：
$2.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Continuity of Multilinear Operator on Normed Linear Spaces
赋范线性空间上多线性算子的连续性
赋范线性空间上多线性算子的连续性
DOI：
10.2478/forma-2019-0006
发表时间：
2019
期刊：
Formalized Mathematics
影响因子：
0.3
作者：
[Nakasho Kazuhisa, Shidama Yasunari]
通讯作者：
Shidama Yasunari
Mizarによる離散確率分布の統計的識別不能性の形式化
Mizar 离散概率分布统计不可辨别性的形式化
Mizar 离散概率分布统计不可辨别性的形式化
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[岡崎 裕之, 布田 裕一, 師玉 康成]
通讯作者：
師玉 康成
e-Learning System for Cryptography on Moodle
Moodle 上的密码学电子学习系统
Moodle 上的密码学电子学习系统
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami]
通讯作者：
Yasuyuki Murakami
Moodleを用いたProverifのeラーニングシステム
使用 Moodle 的 Proverif 电子学习系统
使用 Moodle 的 Proverif 电子学习系统
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[田付 洋大, 布田 裕一, 鈴木 智道, 田中 覚, 渡邊 樹，宮本 樹，紫村 彰吾，岡崎 裕之，布田 裕一，村上 恭通]
通讯作者：
渡邊 樹，宮本 樹，紫村 彰吾，岡崎 裕之，布田 裕一，村上 恭通
Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif
ProVerif 中安全协议密码验证的合适符号模型
ProVerif 中安全协议密码验证的合适符号模型
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Okazaki Hiroyuki, Futa Yuichi, Arai Kenichi]
通讯作者：
Arai Kenichi
共 29 条
Development of a novel cancer pain treatment based on the daily rhythm of biological signals.
-
批准号：19K16466
-
项目类别：Grant-in-Aid for Early-Career Scientists
-
资助金额：$2.75万
-
财政年份：2019
-
负责人：Okazaki Hiroyuki
-
依托单位：
Construction of cancer chronotherapy by manipulation of biological clock via mTOR signal pathway.
-
批准号：15K19167
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.66万
-
财政年份：2015
-
负责人：Okazaki Hiroyuki
-
依托单位：