A Study on Security Verification Method of Cryptographic Protocols by Analysis of Knowledge Formation Process
从知识形成过程分析密码协议的安全验证方法
基本信息
- 批准号:26330076
- 负责人:
- 金额:$ 3万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2014
- 资助国家:日本
- 起止时间:2014-04-01 至 2018-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking
- DOI:10.1109/dasc-picom-datacom-cyberscitec.2017.84
- 发表时间:2017-11
- 期刊:
- 影响因子:0
- 作者:Koji Hasebe;Mitsuaki Tsuji;Kazuhiko Kato
- 通讯作者:Koji Hasebe;Mitsuaki Tsuji;Kazuhiko Kato
{{
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 }}
Hasebe Koji其他文献
Hasebe Koji的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Hasebe Koji', 18)}}的其他基金
A Study on Logical Analysis Methods of Decision Making Processes in Inductive Game Theory and Its Applications
归纳博弈论决策过程逻辑分析方法及其应用研究
- 批准号:
19K11894 - 财政年份:2019
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)