This paper studies a performance safety enforcing problem in stochastic event graphs, a subclass of stochastic Petri net models. We assume that an intruder can attack part of the transitions to increase/decrease their firing rate such that the performance of the system violates a given safety interval. The difficulty in solving this problem is that the capability of the intruder, i.e., the number of transitions that can be simultaneously attacked, is limited. The control aim is to find a protecting policy such that the performance of the protected plant is guaranteed to be in a given safety interval. We show that this problem can be formulated as a two-player game between the intruder and the operator of the plant. By using mixed integer linear programming technique, we develop a heuristic method to compute a protecting policy that is locally optimal.

本文研究了随机事件图中的性能安全实施问题，是随机Petri网模型的子类。我们假设入侵者可以攻击部分过渡，以增加/降低其触发率，从而使系统的性能违反给定的安全间隔。解决此问题的困难在于，入侵者的能力（即可以同时受到攻击的过渡数量）受到限制。控制目标是找到一种保护策略，以确保受保护工厂的性能处于给定的安全间隔内。我们证明此问题可以表述为入侵者与工厂运营商之间的两人游戏。通过使用混合整数线性规划技术，我们开发了一种启发式方法来计算局部最优的保护策略。