Correctness condition

A correctness condition is often defined by the intersection of safety and liveness conditions, meaning that the correctness condition must meet both safety conditions, and liveness conditions to satisfy correctness.

For data correctness, some thing like this can be said:

1. Safety: No one can change or deposit data without revealing their identity
2. Liveness: Anyone who qualify to submit data can do so.