Formal verification of anonymity for timed security protocols
Formal verification of anonymity for timed security protocols
定时安全协议匿名的形式验证
批准号：
26330166
负责人：
Kawabe Yoshinobu
金额：
$2.91万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
匿名性・プライバシの定式化とシミュレーション技法による証明法
使用模拟技术制定匿名/隐私和证明方法
使用模拟技术制定匿名/隐私和证明方法
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Y. Kawabe, and N. Ito, ブロック単位でのディスクへの書き込み履歴から異常検出する手法の評価, 福重芳樹，伊藤暢浩，岩田員典，幸塚義之, 都築卓馬，岡野兼也，高 直我，平野 学, 河辺義信]
通讯作者：
河辺義信
Verifying Ignition Timing of Gasoline Direct Injection Engine's PCM
验证汽油直喷发动机 PCM 的点火正时
验证汽油直喷发动机 PCM 的点火正时
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Masato Yamauchi, Nobuhiro Ito, Yoshinobu Kawabe]
通讯作者：
Yoshinobu Kawabe
An Evaluation of BAR: Breakdown Agent Replacement algorithm for SCRAM
BAR的评估：SCRAM的故障代理替换算法
BAR的评估：SCRAM的故障代理替换算法
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[S. Jaishy, Y. Fukushige, K. Iwata, N. Ito, and Y. Kawabe]
通讯作者：
and Y. Kawabe
数学入試問題に対する定理自動証明の適用の試み
尝试将自动定理证明应用于数学入学考试问题
尝试将自动定理证明应用于数学入学考试问题
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Y. Kawabe, and N. Ito, ブロック単位でのディスクへの書き込み履歴から異常検出する手法の評価, 福重芳樹，伊藤暢浩，岩田員典，幸塚義之, 都築卓馬，岡野兼也，高 直我，平野 学, 河辺義信, 磯部輝，伊藤暢浩，河辺義信]
通讯作者：
磯部輝，伊藤暢浩，河辺義信
IOA仕様から関数型言語Erlangへの自動変換
从 IOA 规范到函数式语言 Erlang 的自动转换
从 IOA 规范到函数式语言 Erlang 的自动转换
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Masato Yamauchi, Nobuhiro Ito and Yoshinobu Kawabe, 吉政徳晃，河辺義信]
通讯作者：
吉政徳晃，河辺義信
共 18 条
On Trust Representation and Verification Methods for Messages in SNSs
-
批准号：20K11822
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.83万
-
财政年份：2020
-
负责人：Kawabe Yoshinobu
-
依托单位：
海外基金