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

ダイナミックに変化する知識・信念の論理学的分析手法の研究

知识信念动态变化的逻辑分析方法研究

基本信息

批准号：
04J07439
负责人：
長谷部浩二
金额：
$ 2.18万
依托单位：
National Institute of Advanced Industrial Science and Technology (2006)Keio University (2004-2005)
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2006
项目状态：
已结题

项目摘要

本年度の前半は,昨年度に引き続き論理的・形式的手法による通信プロトコルの安全性検証法の研究を行った.特に昨年度の研究成果として提起した一階述語論理を基にした論理推論体系Basic Protocol Logicを基にした安全性検証法を中心に,その理論的成果とコンピュータ上での試作実装の成果とを学位論文にまとめ,所属研究機関から学位(哲学博士)を9月に取得した.また本年度の後半は,産業技術総合研究所・システム検証研究センターに移籍し,これまでの論理的・形式的検証の研究を活かしながらソフトウェアの機能安全に関する研究を行った.特に,平成18年度より始まった「戦略的基盤技術高度化支援事業(サポートインダストリ)」のプロジェクトに参加し,機能安全規格IEC61508に準拠した車載用オペレーティングシステム及びミドルウェアの開発における安全性の適合性評価の基礎研究を行った.このプロジェクトで得られたオペレーティングシステムや通信ネットワークの知識をもとに,本研究課題の成果を実時間システムの安全性検証法の研究に繋げて行きたい.また他方で,本年度の前半まで主に研究をしてきた通信プロトコルの安全性検証法について,近年盛んに行われている計算量的アプローチによる通信プロトコルの安全性検証の試みを,Basic Protocol Logicの意味論に取り込む研究を行った.その基本的なアイデアは,通信プロトコルにおいて交換されるメッセージを代数的・記号的なモデルから確率論的なモデルへ拡張することにより暗号の強度に応じた安全性の検証を行うというものであり,今後も継続して研究を行う予定である.

In the first half of this year, the research on the security evaluation method of communication platform was carried out last year. The research results of last year were raised to the first order of logic, Basic Protocol Logic, basic security evaluation method, theoretical results, and the results of trial implementation of doctoral thesis. In the second half of the year, the Research Institute of Industrial Technology (RIIT) will conduct research on functional safety and security issues related to the transfer of logical and formal research. In particular, in 2018, the company began to participate in the development of "Strategic Base Technology Improvement Support Business", and conducted basic research on safety suitability evaluation of functional safety specifications IEC61508 for automotive applications. The results of this research project are summarized as follows: (1) The results of this research project are summarized as follows: In addition, in the first half of this year, the main research was conducted on the security evaluation method of communication platform, and in recent years, the research on the security evaluation method of communication platform was conducted on the basis of the Basic Protocol Logic theory. For example, if a user is unable to communicate with the user, the user may not be able to communicate with the user.