| 配分額 *注記 |
3,640千円 (直接経費: 3,400千円、間接経費: 240千円)
2008年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2007年度: 1,200千円 (直接経費: 1,200千円)
2006年度: 1,400千円 (直接経費: 1,400千円)
|
|---|
| 研究概要 |
電子文書の改ざんを防止し真正性を保つためのセキュリティ技術である長期署名について,まず既存方式とその要素技術が保証する安全性を評価し,問題点を指摘した.その上で,安全性を適切に定式化し,定式化した安全性を満たす方式を提案した.さらに,安全性の形式的検証法を提案し,その主要部分を実装し,実用性と有効性を評価した.
|
