What is strong secrecy related to in the context of formal proof-based cryptography?

A. Information-theoretic security
B. Computational complexity theory
C. Cryptography protocols only
D. Semantic security or indistinguishability
Answer: 