A Study on Security Verification Method of Cryptographic Protocols by Analysis of Knowledge Formation Process
A Study on Security Verification Method of Cryptographic Protocols by Analysis of Knowledge Formation Process
从知识形成过程分析密码协议的安全验证方法
批准号：
26330076
负责人：
Hasebe Koji
金额：
$3.0万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
DOI：
10.1109/dasc-picom-datacom-cyberscitec.2017.84
发表时间：
2017-11
期刊：
2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech)
影响因子：
--
作者：
[Koji Hasebe;Mitsuaki Tsuji;Kazuhiko Kato]
通讯作者：
Koji Hasebe;Mitsuaki Tsuji;Kazuhiko Kato
A Study on Logical Analysis Methods of Decision Making Processes in Inductive Game Theory and Its Applications
-
批准号：19K11894
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.75万
-
财政年份：2019
-
负责人：Hasebe Koji
-
依托单位：