授权模型在SHARK中的应用分析.pdfVIP

中山大学硕士论文 授权模型在$1tAPd‘中的应用研究 授权模型在SHARK中的应用研究 专 业：计算机应用技术 硕士生：丁伟民 指导教师：李长森副教授 摘要 SHARK是一个可扩展的工作流管理系统，它使用完全基于WFMC规范的扩展过 程定义语言(XPDL)作为基本的工作流定义语言格式。在《分布式敏捷LI骼》 研究课题中，我们选择SHARK作为LIMS的核心平台。经过研究LIMS中典型业务 流程在访问控制方面的特点，发现是SHARK系统的授权模型所不能满足的。 本文详细分析了现存的三种典型的访问控制模型的特点：基于角色的访问控 据LIMs的实际需求，提出了一种新的基于角色和任务的访问控制模型一-RTBAC 模型。该模銎}继承了TBAc模型的访『面控制的概念，给出了与工作流实例相结合 的授权步的定义。也继承了RBAC模型中角色的定义，在授权步中引入角色的概 念。根据LIMS的实际需求，在授权步中采用了wA^I模型中对同一任务中多个访 阿客体授权的原则，改进授权步的定义。然后，给出了RT8^c模型的形式化描述， 授权规贝口和系统体系结构。 型与RTBAC模型集成。首先，让其与过程模型相结合，给出了授权步和任务实例 关系的ECA规则描述。其次，让其与信息模型相结合，给出了扩展后的XPDL过 程描述。最后，让其与组织模型相结合，给出遵守SHARK接口，而且符合LIMS 的组织模型定义，并且给出了遵守角色静态贾任分离原则的一种角色到用户的指 派算法。 关键词：SHARK，XPDL，RBAC，TBAC，WAM 中山大学硕士论文 授权填型在sH^强中的应用研究 ModelBasedonShark ResearchofAuthorization Application Technology Major：ComputerApplication Weimin Name：Ding Professor) Supervisor：LiChangsen(Associate ABSTRACT isan Shark extendableworkflow astandard systemincluding implementation basedonWFMC XPDLasitsnativeworkflow completely specificationsusing definitionformat．In isthecore some DALIMS，shark process platform．Afterdeeply researchinthebusiness characteristitsof found process DALIMS’acCesscontrol,we be thesecharacteristicscall’tsarisfledwiththeauthorizationmodelofShark． The adetailed inthecharacterof accesscontrol papergives analysis three and actual tothe of model：R