【摘 要】
：
以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.
【机 构】
：
贵州大学电子科学与信息技术学院,贵州师范大学信息与计算科学重点实验室,贵州师范大学数学与计算机科学学院
论文部分内容阅读
以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批业务工作流"面向任务"的访问控制要求;引入时间概念,使访问控制的授权约束与时间有关,从而满足审批业务工作流中任务的时效性要求,该模型还包含了其它安全约束如SOD(职责分离)以及角色层次关系结构等概念.最后,对所建模型进行了正确性验证.
其他文献
饲用玉米（又称墨西哥玉米）从墨西哥引进，一年生禾本科饲用植物，其营养价值高于普通玉米。株高3米，每月可割一次，亩产草量2—3万公斤以上，一株可分蘖60—70株，每年的3—6月均可播种。
以航空发动机双转子系统为研究对象,考虑挤压油膜阻尼器以及中介轴承的非线性力,通过有限元法和固定界面模态综合法建立了双转子系统的耦合动力学模型。利用仿真计算分析了转
社会主义市场经济体制的确立和科技体制改革的深化,给科研单位的财务管理工作提出了新的要求.从1998年开始,将事业单位以前实行的'三种预算管理形式'改为'核定收
介绍了威胜表的主要特点，统计出威胜表在现场运行中的故障情况并对各类故障产生的原因作出分析；给出了故障处理方法。
本文在分析近等原子比NiTi形状记忆合金实现去合金化热力学条件的基础上,研发出一种特殊的低温去合金化处理技术,对NiTi形状记忆合金进行表面改性;经SEM、XRD、XPS、EDX、模拟体液(SBF)仿生沉积等分析研究表明,NiTi记忆合金经低温去合金化处理后,在合金表面选择性地除去了有害元素镍,在表层约130 nm深度内原位制备出完全无镍的具有纳米网架结构的二氧化钛层,这不仅消除了有毒元素Ni的危
新时期,农业专业技术人才队伍建设显得更为重要.加入WTO后,我国农业人才资源短缺更加突出,农业高科技人才在国际、国内的争夺更加激烈,人才流动已经成为社会主流的认同.因此,
通过对SUS347HTP、钢102性能分析、详细阐述了奥氏体钢＋珠光体钢焊接存在的问题及焊条（焊丝）选择原则、通过试验对比，指出了SUS347HTP＋钢102异种钢焊接头焊后热处理带来的弊病，明确
该秸秆揉碎机是用于农作物秸秆和牧草等粗饲料进行切断、揉搓的专用设备，可将玉米秸、豆秸、稻草及牧草等饲料揉碎成柔软的丝条状，用该料喂牛、羊等反刍家畜，可提高秸秆及饲草的
从技术、经济、工程实践等方面对株洲电厂可能采用的制粉系统进行比较论证,优选双进双出钢球磨煤机冷一次风机正压直吹系统方案作为推荐方案.
蔬菜种子在浸种催芽前用白酒浸泡，能提高发芽率，而且出苗整齐，苗白、苗壮，尤其对种皮较厚、发芽较困难的部分果豆类作物种子效果更为明显。方法是：按1：1比例，将白酒溶在水中，然后将待