【摘 要】
：
可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机
论文部分内容阅读
可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结
其他文献
采用core-first的策略以超支化聚3-乙基-3-羟甲基环氧丁烷(HBPO)作为前体,通过原子转移自由基聚合的方法合成了以HBPO为核,以聚N-异丙基丙烯酰胺(PNIPAM)为臂的新型温敏性星形多臂共聚物HBPO-star-PNIPAM.1HNMR、FTIR以及SEC表征证明了PNIPAM成功的接到了HBPO核上.超支化HBPO-star-PNIPAM的自组装行为通过芘探针荧光光谱、1HNMR
本文采用可控聚合方法合成了一系列组成可控的由含端氨基的聚环氧乙烷(PEO)亲水链段和可生物降解的聚(ε-己内酯)(PCL)疏水链段组成的两亲性嵌段共聚物PCL-b-PEO-NH2.通过共聚物端氨基的反应活性,进一步合成了含有功能性基团的PCL-b-PEO-COOH和PCL-b-PEO-RGD两嵌段共聚物及含有温敏性组分的PCL-b-PEO-b-PNIPAAm三嵌段共聚物(PNIPAAm为聚异丙基丙
本文制备了可释放一氧化氮(NO)的小口径人工血管.首先合成了氮烯醇化的N,N′-二丁基-1,6-己二胺(DBHD/N2O2)作为NO供体,并将其混入生物可降解材料聚己内酯中(PCL),利用静电纺丝技术构建管状血管支架.这种血管材料展现了良好的抗血小板粘附的性能,但是却存在着细胞毒性及NO的突释现象.为了解决这两方面问题,利用同轴电纺技术构建了以PCL或明胶为壳,混有DBHD/N2O2的PCL为芯的
In this paper, the response characteristics of dry friction backward whirl of a general rotor/stator model, which accounts for both the dynamics of the rotor and the stator as well as the friction and
为了避免用逼近型3~(1/2)细分方法构造插值曲面过程中出现的烦琐运算,利用3细分方法极限点计算公式,提出一种用逼近型3~(1/2)细分方法构造闭三角网格插值曲面的方法.给定待插值的闭三角网格,先用一个新的几何规则与原3~(1/2)细分方法的拓扑规则细分一次得到一个初始网格,用3~(1/2)细分方法细分该初始网格得到插值曲面;新几何规则根据极限点公式确定,保证了初始网格的极限曲面插值待插值的三角网
分析了起伏地形在星载三线阵像机不同传感器上成像的形变模式.针对嫦娥一号探月卫星2C级月面成像,提出了在运动方向上用二次函数表示图像形变的线阵立体像机图像匹配方法.用该匹配方法与标准相关方法相结合完成了嫦娥一号卫星成像的下视图与前视图、后视图的精确配准,基于非均匀样本小波插值的超分辨率重建算法实现了嫦娥一号卫星月面图像的超分辨率重建,增加了图像的可识别目标,充分挖掘了嫦娥一号卫星的图像信息.
The bidirectional associative memory (BAM) neural network with four neurons and two delays is considered in the present paper. A linear stability analysis for the trivial equilibrium is firstly employ
本文给出了利用逻辑函数构造p-态量子码的一种方法.利用文中的构造方法,对于任意APC距离d′≥2的逻辑函数,均能构造参数为((n,K,d))p的量子纠错码.对任意的2≤d≤d′,得到K的一个下界.进一步地,文中给出了构造的量子纠错码的一组基态,以及利用此方法能够构造达到量子Singleton界的量子码的充分条件.给出了[[1,3]]_p,其中p是素数,[[6,0,4]],[[6,2,3]]_p,其
在分析现有属性证明问题的基础上,基于在线可信第三方属性证明模型提出了一种基于TCM安全芯片的属性证明协议.协议中证明方利用颁发的属性证书、TCM芯片产生的配置承诺及其签名,使用零知识证明协议向远程验证方证明配置状态符合平台所声明的安全属性.该协议具有签名长度短、计算量小等特点,并且在Random Oracle模型下证明了该协议的安全性.基于TCM的属性证明协议有助于TCM安全芯片的应用扩展和标准完