【摘 要】
：
访问控制模型为系统的信息安全提供了一个理论框架,其目的是保护系统资源不被非法用户盗用,防止合法用户对受保护信息进行非法使用。然而,现有的访问控制模型大部分属于静态
论文部分内容阅读
访问控制模型为系统的信息安全提供了一个理论框架,其目的是保护系统资源不被非法用户盗用,防止合法用户对受保护信息进行非法使用。然而,现有的访问控制模型大部分属于静态授权模型,不能方便地描述大规模、异构的分布式网络系统中授权过程的动态变化。为了解决上述不足,在充分研究流演算理论的基础上,提出了一个基于流演算理论的访问控制模型（FCDAC）。FCDAC将动态世界中的所有授权过程都看作是动作的结果,通过动作来实现状态的变化,并且在系统中只需描述动作的前提条件公理和状态更新公理就可容易地实现权限的变化。最后,通过一
其他文献
探讨细胞因子IL-1，IL-6，IL-8，TNF-α与胎儿宫内窘迫的关系及对分娩方式和产程长短的影响．选择妊娠期正常、孕龄在37周和42周之间的单胎新生儿128例，收集脐血祥本．将128例按有无胎儿
鉴于GPU强大的计算性能以及先进的并行处理器架构,主要研究一种将FFT的并行算法映射到CUDA模型的并行设计方法。该设计方法遵循如减少内核函数中的全局存储器访问、全局存储器合并访问、高效利用共享存储器、高密集度计算等GPU平台下主要的设计准则进行优化设计,并在基于NVIDIA Fermi处理架构的Tesla C2075GPU平台上进行了大点数一维FFT设计实现。实验结果表明了该方法的可行性及高效性
利用谷科最近提出的签名方案，设计了一个在标准模型下可证明安全的高效的基于身份的门限签名方案，它的门限密钥生成算法不需要可信第三方。通过减少群元素乘法运算和双线性对运
通过应用由赵培浩等提出的乘积空间的环绕定理，提出了一种研究非线性差分方程及方程组的次调和周期解的存在性与多解性的新方法．对于二阶非齐次非线性差分方程组{-△^2un-1=μ1
研究了Pb2+/Ag 欠电位沉积(UPD)体系在不同阴离子(Cl-,NO-3,ClO-4)存在下的行为.发现Pb2+UPD峰电位随溶液中Cl- 离子浓度增加负向移动,而随溶液中Pb2+离子浓度增加正向移动;N
针对城市环境中车载自组网信息发送面临的问题,本文提出一种可靠的车载自组网广播算法。首先,结合节点间的位置信息与移动方向将节点分类,基于距离机制选择中继节点,实现多跳
考虑表面各向异性场，在非周期性边界条件下应用界面重参数化方法精确求解了两层铁磁耦合薄膜中的低能自旋波本征值，同时给出对应的本征模．结果表明：在A—B两层铁磁膜中自旋波本征
本科生的科研活动越来越得到教育研究者的重视,然而,研究者很少关注学生科研活动与毕业走向之间的关联问题。为了探究本科生参与科研情况对其未来发展的影响,从学生毕业走向
讨论R^n中一类微分方程周期轨道的存在性．首先给出了定义在R^n中一类特殊集合上的映射拓扑度的计算方法，并利用所得结果改进了Grasman关于微分方程周期轨道的一个定理．
针对传统混合蛙跳算法存在收敛速度慢、容易陷入局部最优和搜索精度不高的缺陷，提出了基于三角函数搜索因子的混合蛙跳算法。该算法将基于三角函数搜索因子的局部进化策略和产