Skip to main content
placeholder image

Formal Proofs for the Security of Signcryption

Journal Article


Abstract


  • Signcryption is an asymmetric cryptographic method that provides simultaneously

    both message confidentiality and unforgeability at a low computational and

    communication overhead. In this paper we propose realistic security models for signcryption,

    which give the attacker power to choose both messages/signcryptexts as well

    as recipient/sender public keys when accessing the signcryption/unsigncryption oracles

    of attacked entities. We then show that Zheng’s original signcryption scheme is

    secure in our confidentiality model relative to the Gap Diffie–Hellman problem and is

    secure in our unforgeability model relative to a Gap version of the discrete logarithm

    problem. All these results are shown in the random oracle model.

Authors


  •   Baek, Joonsang
  •   Steinfeld, Ron (external author)
  •   Zheng, Yuliang (external author)

Publication Date


  • 2007

Citation


  • Baek, J., Steinfeld, R. & Zheng, Y. (2007). Formal Proofs for the Security of Signcryption. Journal of Cryptology, 203-235.

Number Of Pages


  • 32

Start Page


  • 203

End Page


  • 235

Abstract


  • Signcryption is an asymmetric cryptographic method that provides simultaneously

    both message confidentiality and unforgeability at a low computational and

    communication overhead. In this paper we propose realistic security models for signcryption,

    which give the attacker power to choose both messages/signcryptexts as well

    as recipient/sender public keys when accessing the signcryption/unsigncryption oracles

    of attacked entities. We then show that Zheng’s original signcryption scheme is

    secure in our confidentiality model relative to the Gap Diffie–Hellman problem and is

    secure in our unforgeability model relative to a Gap version of the discrete logarithm

    problem. All these results are shown in the random oracle model.

Authors


  •   Baek, Joonsang
  •   Steinfeld, Ron (external author)
  •   Zheng, Yuliang (external author)

Publication Date


  • 2007

Citation


  • Baek, J., Steinfeld, R. & Zheng, Y. (2007). Formal Proofs for the Security of Signcryption. Journal of Cryptology, 203-235.

Number Of Pages


  • 32

Start Page


  • 203

End Page


  • 235