信息与控制

作者：刘富春, 严飞, 赵锐, 崔洪刚

关键词：分层离散事件系统, 延迟不透明性, <i>K</i>安全性, 不透明性

针对离散事件系统（DES）的不透明性问题，结合具有分层（hierarchical）结构的自动机模型，提出了分层离散事件系统的不透明性.对分层离散事件系统进行标准化，给出了分层离散事件系统不透明性和K延迟不透明性两个概念.为了对分层离散事件系统的两种不透明性进行验证，分别构造了两种相应的不透明性验证器，得到了关于不透明性和K延迟不透明性的充分必要条件，并对构造不透明性验证器的复杂度进行了分析.

来源：2019年第3期

《信息与控制》期刊编辑部

查看信息与控制杂志2019年第3期