刷新
{{item.name}}会员
Formal verification of anonymity for timed security protocols
定时安全协议匿名的形式验证
基本信息
- 批准号：26330166
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
匿名性・プライバシの定式化とシミュレーション技法による証明法
使用模拟技术制定匿名/隐私和证明方法
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Y. Kawabe;and N. Ito;ブロック単位でのディスクへの書き込み履歴から異常検出する手法の評価;福重芳樹，伊藤暢浩，岩田員典，幸塚義之;都築卓馬，岡野兼也，高 直我，平野 学;河辺義信
- 通讯作者：河辺義信
Verifying Ignition Timing of Gasoline Direct Injection Engine's PCM
验证汽油直喷发动机 PCM 的点火正时
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Masato Yamauchi;Nobuhiro Ito;Yoshinobu Kawabe
- 通讯作者：Yoshinobu Kawabe
An Evaluation of BAR: Breakdown Agent Replacement algorithm for SCRAM
BAR的评估：SCRAM的故障代理替换算法
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：S. Jaishy;Y. Fukushige;K. Iwata;N. Ito;and Y. Kawabe
- 通讯作者：and Y. Kawabe
数学入試問題に対する定理自動証明の適用の試み
尝试将自动定理证明应用于数学入学考试问题
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Y. Kawabe;and N. Ito;ブロック単位でのディスクへの書き込み履歴から異常検出する手法の評価;福重芳樹，伊藤暢浩，岩田員典，幸塚義之;都築卓馬，岡野兼也，高 直我，平野 学;河辺義信;磯部輝，伊藤暢浩，河辺義信
- 通讯作者：磯部輝，伊藤暢浩，河辺義信
IOA仕様から関数型言語Erlangへの自動変換
从 IOA 规范到函数式语言 Erlang 的自动转换
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：Masato Yamauchi;Nobuhiro Ito and Yoshinobu Kawabe;吉政徳晃，河辺義信
- 通讯作者：吉政徳晃，河辺義信
{{
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 }}
Kawabe Yoshinobu其他文献
Kawabe Yoshinobu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kawabe Yoshinobu', 18)}}的其他基金
On Trust Representation and Verification Methods for Messages in SNSs
SNS中消息的信任表示与验证方法
- 批准号：
20K11822 - 财政年份：2020
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
複合知覚情報伝達のための双方向性実時間システムの構築
构建传达复杂感知信息的交互式实时系统
- 批准号：
09J55552 - 财政年份：2009
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
- 批准号：
16016276 - 财政年份：2005
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
- 批准号：
15017278 - 财政年份：2003
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
- 批准号：
14019078 - 财政年份：2002
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
発展的実時間システムの自動検証を可能にする新しい論理的検証理論
一种新的逻辑验证理论，可实现进化实时系统的自动验证
- 批准号：
13878059 - 财政年份：2001
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Exploratory Research
モデルチェッキング法の限界を超える新しい論理的手法によるダイナミックな実時間システムのための検証ツールの実現
使用超越模型检查方法限制的新逻辑方法实现动态实时系统的验证工具
- 批准号：
13224081 - 财政年份：2001
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (C)
パラメータを持つ実時間システム仕様のモデル検査に関する研究
带参数的实时系统规格模型检验研究
- 批准号：
13780232 - 财政年份：2001
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
実時間システムの形式仕様・検証のための新しい論理的方法論
实时系统的形式化规范和验证的新逻辑方法
- 批准号：
11878054 - 财政年份：1999
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Exploratory Research
大規模並行実時間システムの効率的な検証方法の研究
大规模并行实时系统高效验证方法研究
- 批准号：
08750474 - 财政年份：1996
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)