论文部分内容阅读
简要介绍可信移动平台的思想,在软件行为方面提出了一个基于可信平台的手机访问控制策略,并给出基于可信计算核心安全硬件可信平台模块在这个策略模型上的应用及实现方法。
基于可信计算的移动设备上的软件行为控制策略
【摘 要】
：
简要介绍可信移动平台的思想,在软件行为方面提出了一个基于可信平台的手机访问控制策略,并给出基于可信计算核心安全硬件可信平台模块在这个策略模型上的应用及实现方法。
【机 构】
：
厦门大学计算机科学系
【出 处】
：
计算机应用
【发表日期】
：
2007年S2期
其他文献
8月20日,由中国航天科技集团公司八院抓总研制的风云二号F星在轨正式交付,气象部门未来对台风等强对流天气的预测将更加准确。中国气象局局长郑国光、总装备部副部长牛红光、
在今年"119"消防日活动中,成都市金牛消防大队作出了一项创举:他们将119消防官兵的英姿印在邮票上并设计成邮折的形式发行,这在全国还是首次.
对Shin等人的可公开验证签密方案和Jung等人的可公开验证代理签密方案进行了密码学分析,研究了它们的机密性和代理权限问题,发现这两个方案中的公开验证过程都是以泄漏消息的机密性为代价的,同时发现Jung等人的方案没有实现代理权限的管理。在此基础上提出对Shin方案改进的一个权限可控的公开验证性代理签密方案,克服了其公开验证过程中的安全漏洞,并对代理权限进行了全面限制。在基于某些密码学假设的前提下,
高温条件下裂解碳化硅（SiC）单晶,在直径5cm的4H-SiC（0001）面制备出单层石墨烯。利用光电化学刻蚀方法,使KOH刻蚀液与SiC发生反应,降低石墨烯与衬底之间的相互作用力,去掉原位生长
广义Voronoi图(GVD)的生成可以分为直接法和近似法。利用VDC采样序列,结合了近似法,设计了一种基于VDC采样序列的GVD生成算法。该算法改进了一般生成GVD的近似方法,使得点集的采样可以增量进行,并且精度可控,提高了现有GVD生成算法的性能。
货物在配送中心仓储空间内的定位可以描述为一个NP-Hard的装填问题。把仓储空间分为若干单位空间,并结合空间、时间性质,提出了货物存储空间动态调度的优化算法,在一段连续的调度计划时间段内,整个调度方法被分成三部分。第一部分通过考虑空间约束、离库时间产生对应于不同时间片的货物初步分组集合。第二部分设计了遗传算法来实现初步分组后的货物在单位空间内的优化布局。由于GA的全局搜索特性及精华策略、去负策略的
兰友：[wangjianghao]盆栽兰花由于受盆限制，兰花连年生长，土壤养料消耗殆尽。根系过密，植株过多，很难再长繁茂，同时也有碍观瞻。为了促使更好生长和繁殖，必须翻盆换土或进行分株。
根据蚁群算法和时间Petri网的特点提出了一种网络元素可以记录少量信息的记忆扩展时间Petri网(METPN)。当METPN运行时,使用充足量的托肯在网络中行走并在行走过程中留下信息素来调整托肯的路径选择,从而使大量蚂蚁的行走路线不断逼近Petri网中时间延迟更短的变迁序列,最终在最短变迁序列上形成清晰的蚁路,从而在一定程度上解决了复杂Petri网的最优路径寻找问题。仿真结果表明,托肯可以有效地在