本申请属于系统安全领域，是一种保障系统安全性的方法。对于一个信息物理系统而言，本质上可以抽象为离散事件系统。离散事件系统的运行是基于离散事件的发生。本申请中的修正机制指的是对系统所发生的事件实施修正操作。修正机制的原理是实时修正系统输出的行为，即系统每发生一个事件，修正机制会对该事件进行修改，且修改后的结果只能是另一个事件。就不透明度实施保障问题，本申请设计了修正策略对系统任意行为进行实时修正以保障不透明度，从而保障系统安全。