Formal Proofs for the Security of Signcryption

ISSN： 0933-2790

Source： Journal of Cryptology, Vol.20, Iss.2, 2007-04, pp. : 203-235

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Some formal relative consistency proofs

The Journal of Symbolic Logic, Vol. 18, Iss. 2, 1953-06 ,pp. : 136-144

Cambridge University Press

Access to resources Recommend Favorite

Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs

By Katz Jonathan

Journal of Cryptology, Vol. 21, Iss. 3, 2008-07 ,pp. : 303-349

Springer Publishing Company

Access to resources Recommend Favorite

Provable certificateless generalized signcryption scheme

By Zhou Caixue Zhou Wan Dong Xiwei

Designs, Codes and Cryptography, Vol. 71, Iss. 2, 2014-05 ,pp. : 331-346

Springer Publishing Company

Access to resources Recommend Favorite

Implicit proofs

The Journal of Symbolic Logic, Vol. 69, Iss. 2, 2004-06 ,pp. : 387-397

Cambridge University Press

Access to resources Recommend Favorite

Equality of proofs for linear equality

By Došen Kosta

Archive for Mathematical Logic, Vol. 47, Iss. 6, 2008-09 ,pp. : 549-565

Springer Publishing Company

Access to resources Recommend Favorite