I have always tried to understand the difference between all the above, but I always ended up being confused. The field I am referring to is cryptography in particular, but I guess this question is valid for all of computer science.
Is there a proper way to understand and differentiate them all?
In my notes so far:
- Completeness: all the true statements are provable
- Soundness: all the false statements are not provable (or no false statement is provable, or every statement that’s proven is true)
- Validity: all the statements are true (a system is valid iff it is sound and complete (?))
- Consistency: (?)
- Integrity: (?)