A uniformly congruent security model is presented based on observational congruence.

• 基于观察同余等价；构造了一类一致同余安全模型.