2008 Fiscal Year Final Research Report
Development of universally composable long term signatures
| Project/Area Number |
18700009
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
YOSHIDA Maki Osaka University, 大学院・情報科学研究科, 助教 (50335387)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Keywords | 電子文書 / 真正性 / 長期署名 / 汎用的結合 / セキュリティ |
|---|
| Research Abstract |
電子文書の改ざんを防止し真正性を保つためのセキュリティ技術である長期署名について,まず既存方式とその要素技術が保証する安全性を評価し,問題点を指摘した.その上で,安全性を適切に定式化し,定式化した安全性を満たす方式を提案した.さらに,安全性の形式的検証法を提案し,その主要部分を実装し,実用性と有効性を評価した.
|
