论文研究SShark安全工作流管理系统设计与实现.pdf

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