随着计算机和网络技术的广泛应用,工作流已成为协调企业业务流程、提高它们应变能力和竞争力的一项重要技术。然而,工作流管理系统中有许多安全隐患,深入研究工作流管理系统的安全机制是很重要的。论文根据工作流管理系统访问控制的研究现状,对工作流访问控制的模型以及授权约束等关键技术进行了深入分析,提出扩展的基于任务角色的访问控制模型,该模型可同时满足工作流管理系统中动态授权及静态授权的要求,针对不同的任务以及其所拥有的任务间的关系,为其分配用户或角色,以满足工作流访问控制对动态授权、最小权限和职责分离的要求。通过分析工作流授权约束,定义任务约束、权限约束和约束传递关系,设立流程中权限和任务的约束集,构建授权约束规则集,并验证授权合理性,给出了基于权限和任务的工作流授权合理性验证算法,通过合理的切实可行的流程实例验证该模型和授权合理性验证方法的实用性。基于以上研究成果,建立了在电子招投标系统中的应用,对系统进行分析设计,包括系统架构和类的分析,最后予以开发实现。论文提出了工作流管理系统中扩展的基于任务角色的访问控制模型以及授权约束,设计了较好的安全机制,并在电子招投标系统中加以应用,有效地提高了系统的安全性和实用性。