论文部分内容阅读
论述了用于工作流管理系统中的工作流授权模型.针对工作流在多级安全环境下的应用,提出了一种多级安全工作流授权模型.模型增加了安全级及任务相关性的表示,对原模型的授权规则进行了改造.提出了判断可达性的算法,对新模型的终点是否可达进行了分析.
多级安全工作流授权模型
【摘 要】
：
论述了用于工作流管理系统中的工作流授权模型.针对工作流在多级安全环境下的应用,提出了一种多级安全工作流授权模型.模型增加了安全级及任务相关性的表示,对原模型的授权规
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
华中科技大学学报：自然科学版
【发表日期】
：
2002年1期
其他文献
证明了等价关系族对在前件的交集包含在后件的交集的条件下,它的前件Ⅰ型简化和前件Ⅱ型简化等价,在前件等于后件的条件下,它的前件Ⅱ型简化与等价关系族的简化等价.进而举例
提出了快速矩阵指数法,并将它应用于大型结构的振动分析.以高层建筑为对象,分别计算了10层和30层楼房在外激励作用下的位移响应.在快速矩阵指数法中,每一时间步长是其前一时
通过对富有经验的服装排料师排料过程的研究 ,提出了一种基于人工智能的自动排料算法 .该算法运用问题归约理论 ,将自动排料的过程简化为基本块的生成与搜索 ;运用了规则判断与启发式搜索的方法 ,生成基本块 ;对系统中大片、小片 (衣片 )进行了自动判断分组 ,从而加快了运算的速度
提出一种新型的智能控制器--九点控制器,分析了其控制策略.采用相平面方法分析了各控制参数如何影响系统稳态性能、动态性能.仿真研究表明调整单个控制参数可使系统性能指标
对均匀横向载荷下的正交各向异性层合固支椭圆板进行了三维线性分析,导出了一般板、层合板满足三维线性平衡方程、边界条件、层间连续条件的解析解,给出了计算结果并与Ansys
设计了一种能自动调节激光束照射在指定位置的控制器.控制过程中考虑到第一个平面镜转动对第二个位置传感器表面光点的影响,预先调整第二个镜架,可以控制PSD2的光点位置基本
采用二维粘性数值模拟方法对三个不同参数的空调用多翼离心风机叶轮进行了数值计算,分析了空调用多翼离心叶轮的内部流场,预估比较了三个叶轮的风量静压性能.预估结论与试验
针对敏捷制造单元的特点,提出了一种面向对象的赋时Petri网(OOTPN)的仿真方法.该仿真模型不但能够模拟敏捷制造单元在实际运行过程中复杂的行为,还可以进行性能分析,为单元重
基于均匀化方法,建立了宏细观连成热应力场计算数学模型,用有限元法计算模拟了等离子熔射快速成膜过程皮膜热应力场,对四种不同喷枪扫描路径下熔射成形皮膜冷却过程热应力场