论文部分内容阅读
使用形式化方法对Java智能卡的应用隔离与对象共享机制进行分析,用信任模型表述卡内多应用间对象共享关系,根据信任可传递的条件推断出仅由应用级安全策略控制共享对象访问的不足,提出以增加卡内全局访问控制机制来防止未经授权的信息流动这一安全策略设计思路,并给出一个简单实现。
Java卡对象共享安全策略分析与实现
【摘 要】
：
使用形式化方法对Java智能卡的应用隔离与对象共享机制进行分析,用信任模型表述卡内多应用间对象共享关系,根据信任可传递的条件推断出仅由应用级安全策略控制共享对象访问的不足,提出以增加卡内全局访问控制机制来防止未经授权的信息流动这一安全策略设计思路,并给出一个简单实现。
【机 构】
：
北京航空航天大学电子信息工程学院
【出 处】
：
计算机应用
【发表日期】
：
2009年06期
其他文献
在处理大数据集聚类问题上,谱聚算法因存在占用存储空间大、时间复杂度高的缺陷而难以推广,针对此问题,提出采用多次分割、向上向下双向收缩的QR算法求得特征值对应的特征向量来实现降维,并在此基础上构造映射空间上的样本来实现量子遗传谱聚算法的聚类。该方法通过映射为后续的量子遗传谱聚算法聚类提供低维的输入,而量子遗传算法具有快速收敛到全局最优并且对初始化不敏感的特性,从而可以获得良好的聚类结果。实验结果显示
采用数理统计方法进行施肥模型构造,由于受到固定的数学结构的限制,导致有一些实验结果因不能被模型拟合而被舍弃,造成了一些数据的浪费。针对这些问题,提出了基于协同进化理论的施肥模型构建算法,将模型构建问题分解为模型结构构建与模型参数优化两个子问题,并将这两个子问题抽象成多种群间协同进化。使用遗传规划算法进行模型结构构建,使用遗传算法对模型参数进行优化,两个过程协同进行。实验结果表明,该算法能够在历史实
针对普适计算访问控制对客体部分动态管理的需要,分析了现有扩展基于角色的访问控制(RBAC)的不足,提出一种新的扩展RBAC模型。模型引入客体与客体的关联,使得权限既可以通过角色也可以通过客体获得,并采用描述逻辑对模型访问控制过程进行了形式化描述。该模型能够实现细粒度的动态授权,解决了因决策的固有性导致角色数量过多、授权不灵活的问题。
双丹颗粒是由丹参、牡丹皮2味中药组成，经水提醇沉精制而成的无糖颗粒。临床用于治疗心血瘀阻所致胸痹心痛。丹参为君药，丹参素、原儿茶醛是丹参(Radix Salviae Miltiorrhizae)
为了解农村生产责任制改变后,农村人群寄生虫感染现状.遂于2002年10～12月对蓬溪县不同地理、经济状况的3个自然村1 531名人群进行了肠道寄生虫感染情况调查,现将结果报告如下.
广播数据系统接收机在开机后或者经过长时间信号衰减后必须迅速获得同步。传统的标准算法利用接收到的数据序列与校验矩阵相乘来验证是否同步,速度较慢。提出了一种基于查表法的数据帧同步快速算法,将接收到的二进制数据序列与校验矩阵的乘积(模二)问题转化为3字节求余式问题,通过查余式表判断接收机是否达到同步,较大地提高了速度,并显著降低了所需的存储空间。仿真结果表明了该算法的快速性和有效性。
目的 探讨脂肪肝的部分易患因素及与其并存疾病的患病情况.方法 对765名45岁以上中老年人群经身高、体重、血压、心电图、B超、血脂、血糖、血尿酸检查后,进行性别、年龄、脂
多尺度Retinex图像增强是一种基于色彩恒定理论的图像增强算法,算法增强效果好,但随着图像分辨率的提高计算时间显著增加。分析并利用计算统一设备架构(CUDA)图形处理器(GPU)的并行处理特性,提出了一种基于CUDA的多尺度Retinex图像增强并行算法,将多尺度高斯滤波、对数空间差分和动态范围压缩等计算非常耗时的模块采用并行方式放在GPU中进行计算。实验结果表明所提算法能显著提高计算速度,随着