可信软件栈相关论文
TrouSerS是一个优秀的Linux环境下TSS开源实现,Windows环境下TSS开源实现意义重大.对TrouSerS进行Windows环境下移植是最直接有效......
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数......
可信计算组织TCG推出的可信平台模块TPM芯片是一种基于密码技术的可信计算核心模块,它提供了RSA算法和SHA1算法,而中国推出的可信......
随着信息技术的快速发展,信息安全问题变得目趋复杂与关键,传统的信息安全技术,如防火墙、入侵检测、病毒防范等技术已经不能很好......
利用Fuzzing技术对可信软件栈（TSS）进行软件代码脆弱性以及安全漏洞测试，通过故障注入、畸形数据构造以及异常行为捕获，发现了T SS软件......
可信计算作为一种信息系统安全新技术，为克服单纯依靠软件安全防范方式的不足提供了新的思路，在平台上通过软硬件结合的方式构建可信......
可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制，它与国际可信计算组织TCG推出的可信平台模块TPM功能相同......
普通的加密文件系统能够对文件内容进行安全保护，加密文件与密钥被绑定在一起。但是，密钥仅仅通过弱口令来进行安全保护，这对系统来说......
阐述了在嵌入式终端上构建可信计算环境相关的嵌入式可信引导、TPM的扩展和驱动设计、嵌入式可信软件栈和嵌入式可信安全组件等关......
针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控......
利用Fuzzing技术对可信软件栈（TSS）进行软件代码脆弱性以及安全漏洞测试,通过故障注入、畸形数据构造以及异常行为捕获,发现了TSS软......
嵌入式系统在移动终端中广泛应用,可信计算如何解决嵌入式系统的实时性,在嵌入式系统中可信平台模块和可信软件栈相关组件整合问题......
嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础......
全舰计算环境作为一种先进的舰船设计理念,深刻地影响了现代舰船设计理念。通过对现有全舰计算环境的分析,提出当前全舰计算环境面......
