33、多级安全工作流系统与工作流时间约束解析

多级安全工作流系统与工作流时间约束解析

多级安全工作流系统

在多级安全（MLS）工作流系统中，由于遵循MLS原则，工作流设计者可能无法了解更高级别工作流的详细结构。例如，分类级别为M的工作流设计者可能不被允许知晓主导M的H域中的工作流结构。不过，在协作的自主工作流任务之间进行通信和同步时，需要一些最少的信息，具体如下：
1. 请求的发送和接收 ：包括任务的位置和调用方法。
2. 回复的接收 ：即预期输出和返回地址。

为了能生成合适的运行时代码，上述规范需要在工作流设计中体现，因此设计工具中需要一个原语来表示这种情况，而之前引入的外部任务（foreign task）就可以满足这一需求。

工作流工具

一般来说，工作流管理系统由四个组件构成，MLS工作流需要单级工作流管理系统（WFMS）提供的所有工具，但同时也要求这些工具具备额外的能力。
- MLS工作流构建器 ：
- 该工具应能让MLS工作流设计者以图形方式指定MLS任务逻辑，具体提供以下功能：
- 提供MLS工作流过程（任务逻辑）的全局视图。
- 为不同抽象级别的不同用户提供合适的视图。
- 提供表达输入和输出类、每个转换的防护条件以及相同和不同分类域中任务之间输入和输出转换结构（如AND - 连接、循环）的方式。
- 具备定义域并指定域之间主导关系（如“绝密 > 机密 > 非机密”）的能力。
- 工具中指定的任务可以是外部任务或本地任务。如果是本地任务，它有相应的实现。该工具还能展开由工作流实