Public-Key Encryption for Secret Keys
Modern cryptography is concerned with giving precise mathematical models of the security guarantees that a cryptosystem gives. Any new cryptosystem must come with strong mathematical evidence or even complete proof for its security.