Formal proofs for the security of signcryption

From MaRDI portal
Publication:877813