【摘 要】
：
针对计算机终端是网络系统中安全风险的根源问题之一,提出了一种新的基于进程保护的可信终端模型。该模型通过进程静态、动态保护和进程间无干扰来判定系统的可信性。进程静
【机 构】
：
四川师范大学计算机科学学院四川省可视化计算与虚拟现实重点实验室
【基金项目】
：
国家自然科学基金面上项目（60970113）, 四川省科技厅项目（2008JY0105-2）, 四川省教育厅项目（07ZA091）资助
论文部分内容阅读
针对计算机终端是网络系统中安全风险的根源问题之一,提出了一种新的基于进程保护的可信终端模型。该模型通过进程静态、动态保护和进程间无干扰来判定系统的可信性。进程静态保护的主要功能是确保进程代码和辅助文件的完整性,进程动态保护的主要功能是防止进程运行的相关数据被篡改,进程间无干扰的功能是基于无干扰理论判断进程交互的合法性。理论分析结果表明,该模型的可信性与基于可信根的无干扰可信模型等价。但该模型不仅有效克服了基于可信根的无干扰可信模型中的可信传递函数check（）的不合理性,而且将系统的状态、动作具体化,使得
其他文献
物联网是当前研究的热点,其应用被认为将会带来下一个万亿级的信息化产业。有关物联网的体系架构一直众说纷纭,主要有3层、4层、5层等架构层次之说。对当前各种物联网体系架构进行了研究,对其性能优劣及适用领域进行了分析和比较;同时提出了一种面向服务的物联网体系架构形式,以期为当前的各种物联网应用提供一个可参考的理论模型。
为使HPGL格式文件输出的折线光滑化,分析了该格式文件数据输出存在的弊端及通常的解决办法。在此基础上,提出了一种基于遗传算法的插值处理方法,对该算法进行了数学描述,并对
借助于MATLAB,得到了两个有限链型的乘积格蕴涵代数子代数的具体形式,更直观地反映了格蕴涵子代数的结构特征,并且通过一个例子展示了程序的运行结果。研究了格蕴涵代数中各
表达式是程序的基本组成单位。在C、C++语言程序中,变量的自增/自减运算造成表达式或函数调用中存在副作用。表达式或函数调用中的副作用会造成程序运行结果的异常,甚至导致
随着RFID技术的飞速发展与广泛应用,RFID系统的自身安全威胁及基于其的恶意代码也在快速发展。为了更好地对抗安全威胁和恶意代码,需要透彻地分析了解其原理。详细分析了当前RFID系统的自身安全问题及现有的攻击手段,给出了相应的防范措施;并根据RFID系统的特点,提出了基于RFID系统的恶意代码免疫模型。
云是一种常见、普遍的自然现象,云的建模和渲染是计算机图形学领域的一个难点问题。利用重复纹理映射技术将多幅二维纹理图片加以组合,对三维动态云进行建模,通过瞬时对云进行平移、缩放等操作来模拟云的动态变化,进一步采用Alpha色彩融合技术模拟动态云的聚集、消散以及受到风力影响后云的形态变化等效果,通过采用多层重复纹理映射的叠加模拟层云,取得了很好的动态云模拟效果。所提出的动态云的建模方法简单,避免了大量
中国邮路问题是图论中的经典问题,得到了深入研究和广泛应用。近年来,由于计算机网络与通信、智能交通系统等复杂应用领域的需求,研究时间依赖网络中的问题具有更为重要的现
在移动多sink无线传感器网络应用中,传感器节点感知目标信息并暂存起来,sink通过向网络发出查询来收集感知信息,如何保障数据发布过程中的服务质量（QoS）是具有挑战性的工作。首
针对移动自组网（MANET）大规模组网时普通路由算法性能明显下降的问题,利用分而治之的思想,提出了一种将AODV和时延容忍网络中喷雾等待路由相融合的路由方案ADHR,即在反应式路由
针对基于生理信号的情感识别问题,采用具有模拟退火机制的遗传算法、最大最小蚁群算法和粒子群算法来进行特征选择,用Fisher分类器对高兴、惊奇、厌恶、悲伤、愤怒和恐惧6种