• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Database security >An Extended Petri Net Model for Supporting Workflows in a Multilevel Secure Environment
【24h】

An Extended Petri Net Model for Supporting Workflows in a Multilevel Secure Environment

机译：在多级安全环境中支持工作流的扩展Petri Net模型

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper makes three contributions to the area of multileuel secure (MLS) workflow management systems (WFMS). First, it proposes a multilevel secure workflow transaction model. This model identifies the task dependencies in a workflow that cannot be enforced in order to meet multilevel security constraints. Second, it shows how Petri nets, a mathematical as well as a graphical tool, can be used to represent various types of task dependencies. Third, it extends the original Petri net (PN) model by proposing a Secure Petri Net (SPN) that can automatically detect and prevent all the task dependencies that violate security. This paper then presents algorithms to construct and execute MLS workflow transactions.
机译：本文对多重安全（MLS）工作流管理系统（WFMS）领域做出了三点贡献。首先，提出了一个多层次的安全工作流交易模型。此模型标识工作流中的任务依赖关系，这些任务依赖关系无法满足多级安全约束。其次，它显示了Petri网是一种数学工具还是一种图形工具，可以用来表示各种类型的任务依赖项。第三，它通过提出一种安全的Petri网（SPN）来扩展原始的Petri网（PN）模型，该安全Petri网（SPN）可以自动检测并阻止所有违反安全性的任务依赖关系。然后，本文提出了构建和执行MLS工作流事务的算法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号