Login / Signup

A standard model of Peano arithmetic with no conservative elementary extension.

Ali Enayat
Published in: Ann. Pure Appl. Log. (2008)
Keyphrases
  • standard model
  • encryption scheme
  • signature scheme
  • public key encryption scheme
  • proxy re encryption
  • forward secure
  • ciphertext
  • diffie hellman
  • provably secure
  • signcryption scheme