研究課題
若手研究(B)
電子文書の改ざんを防止し真正性を保つためのセキュリティ技術である長期署名について,まず既存方式とその要素技術が保証する安全性を評価し,問題点を指摘した.その上で,安全性を適切に定式化し,定式化した安全性を満たす方式を提案した.さらに,安全性の形式的検証法を提案し,その主要部分を実装し,実用性と有効性を評価した.
すべて 2009 2008 2007 2006
すべて 雑誌論文 (11件) (うち査読あり 11件) 学会発表 (10件)
IEICE Transactions on Fundamentals Vol.E92-A, No.1
ページ: 222-225
Proceedings of the 11th International Conference on Information Security and Cryptography (ICISC2008) LNCS 5461
ページ: 134-151
Proceedings of the 10th International Conference on Information and Communications Security (ICICS2008) LNCS 5308
ページ: 387-402
Proceedings of the Third International Conference on Intelligent Information Hiding and Multimedia Signal Processing IIH-MSP 2008
ページ: 147-150
to appear in Proceedings of the 26th International Conference on Consumer Electronics 2008 ICCE2008
to appear in Proceedings of the 3rd International Conference on Intelligent Information Hiding and Multimedia Signal Processing IIH-MSP2007
Proceedings of the 2007 IEEE International Symposium on Information Theory ISIT2007
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E90-A, No.1
ページ: 204-215
ページ: 216-225
Proceedings of the 1st Joint Workshop on Information Security JWIS2006
ページ: 347-360
Proceedings of the 2nd Workshop on Cryptography for Ad hoc Networks (WCAN'06), Electronic Notes in Theoretical Computer Science 171 No.1
ページ: 83-91
