Budget Amount *help |
¥3,640,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥240,000)
Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2007: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2006: ¥1,400,000 (Direct Cost: ¥1,400,000)
|
Research Abstract |
電子文書の改ざんを防止し真正性を保つためのセキュリティ技術である長期署名について,まず既存方式とその要素技術が保証する安全性を評価し,問題点を指摘した.その上で,安全性を適切に定式化し,定式化した安全性を満たす方式を提案した.さらに,安全性の形式的検証法を提案し,その主要部分を実装し,実用性と有効性を評価した.
|