在本文中，我们研究了离散事件系统基于状态的分散式安全诊断问题。 我们首先提出一个基于状态的分散式安全诊断框架。 此外，我们介绍了基于状态的安全可诊断性的概念，该概念同时满足了可诊断性条件和安全性条件。 此外，还提出了基于状态的安全协同诊断能力的多项式验证算法。