Project/Area Number  10650361 
Research Category 
GrantinAid for Scientific Research (C).

Section  一般 
Research Field 
情報通信工学

Research Institution  Osaka University 
Principal Investigator 
FUJIWARA Toru Graduate School of Engineering Science, Osaka University Professor, 基礎工学研究科, 教授 (70190098)

Project Fiscal Year 
1998 – 1999

Project Status 
Completed(Fiscal Year 1999)

Budget Amount *help 
¥3,200,000 (Direct Cost : ¥3,200,000)
Fiscal Year 1999 : ¥1,000,000 (Direct Cost : ¥1,000,000)
Fiscal Year 1998 : ¥2,200,000 (Direct Cost : ¥2,200,000)

Keywords  Information Security / Cryptography / Cryptographic Protocols / Database / Formal verification / Security / Unforgeability / Algorithm / 情報セキュリティ / 暗号 / 暗号を用いたプロトコル / データベース / 形式的検証 / 安全性 / 偽造不可能性 / アルゴリズム 
Research Abstract 
The purpose of this research is (1) to describe the unforgeability of data for cryptographic protocols,(2) determine classes for which the unforgeability is decidable, and (3) develop a system to verify the unforgeability. 1. Formal description : Operations provided in the protocol including the operations which enemy can execute are representer by functions. Data which the enemy can obtain are represented by terms. Relations between functions are described by axioms. Also, legal operation for obtaining the target data is represented by a term. 2. Decidable class : we obtained an sufficient condition under which the problem is decidable. 3. We developed an algorithm which works effectively for practical protocols. The problem is translated into the emptiness problem of a regular language. The number of edges from a state in the finite automata which accepts the language is not many. Using properties like this, we developed the algorithm. 4. The unforgeability problem can be applied to related problems, say the security of databases. For the illegal data access for a database, we formalize the decision problem for the security, and developed the decision algorithm.
