University of Kansas.;
机译:数字权限管理场景下基于Trusted Platform Module 2.0哈希的消息认证代码授权的形式分析
机译:对“ TPM满足DRE:减少使用可信平台模块进行电子投票的信任基础”的更正[Dec 09 628-637]
机译:对安全关键型可重配置模块中的容错能力进行形式验证
机译:一种基于平台完整性验证的激活移动可信模块的方法
机译:现代应用平台中的信息流控制:建模,正式验证和控制的解密
机译:网络物理系统中控制模块的正式验证
机译:迈向可信平台模块的验证参考实现
机译:信任管理政策中安全属性的形式化验证