A cryptographic formula that uses two related keys—a public key and a private key—each of which has the characteristic algorithm that, given the public key, it is computationally infeasible to derive the private key.