Strong secrecy is a term used in formal proof-based cryptography for making propositions about the security of cryptographic protocols.
Intense confidentiality within formal proof-based cryptography involves asserting the security of cryptographic protocols.