Designing a secure cryptographic system that provides assurance about its claimed security requires a clear model and definition of security goals and possible attacks.. Once a system is designed, it must be evaluated against the model and be `shown’ to conform with the model.
Modeling and evaluating security in modern cryptographic systems takes three main approaches: information theoretic, computational and quantum theoretic.