A Formal Treatment of Non-repudiation Protocols(Information Security)
スポンサーリンク
概要
- 論文の詳細を見る
Non-repudiation is a basic security requirement for electronic business applications to protect against a sender's false denial of having created and sent a message. Typically non-repudiation protocols are constructed based on digital signatures. However, there has been no theoretical treatment of such non-repudiation protocols. In this paper, we provide a formal security definition of non-repudiation protocols and analyze the security of a signature-based protocol. Our security definition and analysis are based on Canetti's framework of universally composable security.
- 一般社団法人電子情報通信学会の論文
- 2004-02-01
著者
関連論文
- Zero-Knowledge and Correlation Intractability(Information Security)
- A Note on Transformations of Interactive Proofs that Preserve the Prover's Complexity (Fundamental) (Cryptography and Information Security)
- A Formal Treatment of Non-repudiation Protocols(Information Security)
- A Note on Transformations of Interactive Proofs that Preserve the Prover's Complexity