meaning of correctness property



What does it mean that a security protocol has to satisfy 'correctness'
property?

.