S-Shark安全工作流管理系统设计与实现

摘要

以工作流信息模型安全机制不足为研究对象,通过模型扩展的方法,建立一种安全工作流访问控制模型ETRBAC.该模型在典型T-RBAC模型基础上,提出了职责分离约束和基数约束等问题的解决方案.结合优秀开源工作流管理系统Shark,设计并实现了ETRBAC模型中的相关安全机制,形成S-Shark(secure-Shark)工作流管理系统.S-Shark具有安全性、易用性和可扩展性等优势.