度量行为信息基的可信认证

为了提高远程认证的灵活性和效率,提出将Merkle哈希树应用到基于可信平台的行为动态验证中,给出创建认证度量行为信息基AM_AIB的过程。通过度量当前行为,计算得到行为发生时根哈希值,然后远程认证。根哈希值由可信平台模块(TPM)签名,传递给服务器端验证,如果和服务器端的根哈希值一致,表明该行为是可信的。可根据行为特性设计不同粒度的行为信息基。实验结果表明,该模型能提高时间性能,验证方式灵活,保护平台隐私,克服了基于属性验证的静态特点,确保了平台应用软件运行时可信。

基于软件行为的可信动态度量

提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.

基于可量测实景影像的数字公路体系研究

为了提高公路运营管理及公路网综合服务水平,在分析公路信息化现状及其存在问题的基础上,系统地研究了基于可量测实景影像的全可视化三维数字公路地理信息平台架构及其应用模式。首先针对公路地理信息采集与更新存在的问题,提出了一种移动道路测量系统,给出了移动道路测量系统测量模型,结合公路应用实际,设计了基于移动道路测量系统的线性参考模型。其次,提出基于可量测实景影像公路地理信息平台的概念,设计了基于可量测实景影像的数字公路体系架构。再次,提出基于可量测实景影像数字公路平台上的资产管理、养护管理和路政巡查、应急救援、出行服务等方面的应用模式。最后,以宁波数字公路综合信息系统建设实例验证了基于可量测实景影像数字公路架构的合理性和实用性。