论文部分内容阅读
针对现有的可信计算平台体系认证技术是静态的、一次性的,并不基于语义等问题,提出了语义远程认证抽象模型,该模型由代码特征化部件、安全监测部件、安全控制部件、应用接口部件、知识库组成。其中关键问题知识库采用离线创建规则的学习模式,供在线检测。
可信计算语义证明模型的研究
【摘 要】
：
针对现有的可信计算平台体系认证技术是静态的、一次性的,并不基于语义等问题,提出了语义远程认证抽象模型,该模型由代码特征化部件、安全监测部件、安全控制部件、应用接口
【机 构】
：
太原大学教育学院,北方自动控制技术研究所,中国农业银行山西省分行
【出 处】
：
电脑开发与应用
【发表日期】
：
2010年8期
其他文献
随着以培养创新思维和提高实践能力在素质教育中全面推进，高校教育以培养学生创新能力、创新方法、创新手段、促进个体全面发展的新世纪人才。面对素质教育改革浪潮的袭击，呈现
标准的FCM算法对大数据样本集进行聚类时极为耗时,而且对噪声比较敏感。针对其缺点,提出了一种基于三维直方图加权的模糊聚类图像分割方法,该方法考虑了图像像素点的灰度信息和邻域的均值信息及中值信息,其次考虑了样本空间中不同的样本点对分类的贡献不同。实验结果表明,该算法满足了图像分割有效性和实时性的需求。
2012年5月,油画及当代艺术迎来又一波交易热潮,包括国内以中国嘉德为首的一票拍卖、香港热火朝天的国际艺术展等。这些艺术品交易的成交价也很漂亮,国际拍场中马克.罗斯科作
针对VBA在AutoCAD二次开发中存在的关键问题,结合道路交通事故现场绘制系统的开发过程,采用控制模式窗体、创建选择集、修改菜单宏属性等方法解决了开发中的关键问题,实现了道路交通事故现场平面图的自动化绘制,为事故处理提供了依据,提高了交通部门的办事效率,在机械、航空、土木建筑等特定专业领域实现绘图和设计自动化也有极大的推广和参考价值。
坡度灯（pAPI）作为机场目视助航灯光系统中最重要的设施之一，它的好坏，将会直接或间接的对飞机按照正确的进近航道进场、着陆产生一定的影响。一旦出现故障，必须第一时间进行排除。
湖北省云梦玉丰（集团）实业有限公司董事长——曾纯玉：大学文化程度，中共党员，高级工程师，湖北省云梦县人。兼任湖北省政协云梦县委常委、云梦县光彩事业促进会会长、孝感市政协委员
无线传感器网络主要是针对物理环境进行信息采集并将此信息有效地传输给感兴趣的人,那么网络覆盖和路由协议就至为关键。基于这个要求,采用接近实际的节点概率感知模型进行建
日照市是我国新兴旅游城市之一，以其日渐繁荣的滨海生态烧光而著称，“蓝天、碧海、金沙滩”作为其招牌名片，吸引了众多观光客。笔者结合自身田野调查，以日照市滨海现光为例，简要分