Supervisory Control for Design of Secure Discrete Event Systems

已经获得了一些理论结果，这些结果构成了使用离散事件系统的监督控制理论进行安全系统设计的基础。一种用于合成保密执行监督者的算法已经被开发出来。已经证明，在一定的假设下，这种管理器的模块化综合是可能的。此外，为了将这些结果应用于网络系统和实时系统，导出了离散事件系统的分散控制和实时控制的某些结果。

Several theoretical results which form the base for design of secure systems using the supervisory control theory for discrete event systems have been obtained. An algorithm for synthesizing a secrecy-enforcing supervisor has been developed. It has been proved that, under a certain assumption, the modular synthesis of such a supervisor is possible. Further, in order to apply these results to networked systems and real-time systems, certain results on decentralized control and real-time control of discrete event systems have been derived.