权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Developing Automated formal Verification System for Cryptology

开发密码学自动化形式验证系统

基本信息

批准号：
17K00182
负责人：
Okazaki Hiroyuki
金额：
$ 2.91万
依托单位：
Shinshu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
起止时间：
2017-04-01 至 2021-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00182/
关键词：
暗号理論形式的安全性検証形式的定理証明モデル検査 Mizar ProVerif 形式検証安全性証明暗号システムアルゴリズムの計算量形式化安全性要件形式化繰り返しおよび再帰形式化統計的識別不能性形式化アルゴリズムのステップ数形式化攻撃モデル形式化暗号・認証等応用数学

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（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 离散概率分布统计不可辨别性的形式化

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
岡崎裕之;布田裕一;師玉康成
通讯作者：
師玉康成

e-Learning System for Cryptography on Moodle

Moodle 上的密码学电子学习系统

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Tatsuki Miyamoto;Shogo Shimura;Tatsuki Watanabe;Hiroyuki Okazaki;Yuichi Futa;Yasuyuki Murakami
通讯作者：
Yasuyuki Murakami

Moodleを用いたProverifのeラーニングシステム

使用 Moodle 的 Proverif 电子学习系统

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
田付洋大;布田裕一;鈴木智道;田中覚;渡邊樹，宮本樹，紫村彰吾，岡崎裕之，布田裕一，村上恭通
通讯作者：
渡邊樹，宮本樹，紫村彰吾，岡崎裕之，布田裕一，村上恭通

Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif

ProVerif 中安全协议密码验证的合适符号模型

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Okazaki Hiroyuki;Futa Yuichi;Arai Kenichi
通讯作者：
Arai Kenichi

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Okazaki Hiroyuki其他文献

Analysis of J-HBC Stripper Foil for the J-PARC RCS

J-PARC RCS 的 J-HBC 剥离箔分析

DOI：
10.7566/jpscp.33.011019
发表时间：
2021
期刊：
J. Phys. Soc Conf. Proc.
影响因子：
0
作者：
Yoshimoto Masahiro;Nakanoya Takamitsu;Yamazaki Yoshio;Saha Pranab;Kinsho Michikazu;Yamamoto Shunya;Okazaki Hiroyuki;Taguchi Tomitsugu;Yamada Naoto;Yamagata Ryohei
通讯作者：
Yamagata Ryohei

Change in the electronic structure of the bismuth chalcogenide superconductor CsBi4-xPbxTe6 by dissociation of the bismuth dimers

铋二聚体解离导致铋硫族化物超导体 CsBi4-xPbxTe6 的电子结构发生变化

DOI：
10.1088/1361-648x/ab5e1a
发表时间：
2020
期刊：
Journal of Physics: Condensed Matter
影响因子：
0
作者：
Okazaki Hiroyuki;Terashima Kensei;Billington David;Iwata Keiji;Wakita Takanori;Tanaka Masashi;Takano Yoshihiko;Muraoka Yuji;Yokoya Takayoshi
通讯作者：
Yokoya Takayoshi

Formation of Metal Nanoparticles inside Ion-Track-Etched Polyimide Capillaries

离子径迹蚀刻聚酰亚胺毛细管内金属纳米粒子的形成

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Yamamoto Shunya;Koshikawa HIroshi;Taguchi Tomitsugu;Idesaki Akira;Okazaki Hiroyuki;Yamaki Tetsuya
通讯作者：
Yamaki Tetsuya

Angiotensin-II regulates dosing time-dependent intratumoral accumulation of macromolecular drug formulations via 24-h blood pressure rhythm in tumor-bearing mice

血管紧张素-II 通过荷瘤小鼠 24 小时血压节律调节给药时间依赖性大分子药物制剂的瘤内积累

DOI：
10.1016/j.bbrc.2017.11.162
发表时间：
2018
期刊：
Biochemical and Biophysical Research Communications
影响因子：
3.1
作者：
Matsunaga Takashi;Matsunaga Naoya;Kusunose Naoki;Ikeda Eriko;Okazaki Hiroyuki;Kakimoto Keisuke;Hamamura Kengo;Koyanagi Satoru;Ohdo Shigehiro
通讯作者：
Ohdo Shigehiro

Development of Genetic Markers for Sex and Individual Identification of the Japanese Giant Flying Squirrel (Petaurista leucogenys) by an Efficient Method Using High-Throughput DNA Sequencing

利用高通量 DNA 测序的有效方法开发用于日本巨鼯鼠 (Petaurista leucogenys) 性别和个体识别的遗传标记

DOI：
10.2108/zs220045
发表时间：
2022
期刊：
Zoological Science
影响因子：
0.9
作者：
Sugita Aki;Shigeta Mayumi;Tamura Noriko;Okazaki Hiroyuki;Kutsukake Nobuyuki;Terai Yohey
通讯作者：
Terai Yohey