基于稀土金属离子配位超分子聚合物的荧光微囊

以基于金属配位作用的聚合物材料Eu-L₂EO₄为带负电的聚电解质, 利用静电相互作用通过层层组装的方法制备了自发光的聚合物荧光微囊. 该微囊壁孔径很小, 对小分子负载具有良好的封闭性, 且在盐浓度高达500 mmol·L^-1时依然稳定, 表现出良好的耐盐性质. 以Eu³⁺-Tb³⁺混合离子取代Eu³⁺, 可以制备多色荧光微囊.     

一种形式化的可信平台模块应用编程接口安全性分析方法

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.     

基于模型检测的可信软件栈测试

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.