摘要：目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型。经过实验证明,算法无论是在时间效率上,还是在空间复杂度上都优于目前常用的基于图论的算法。

摘要：针对计算机系统和用户行为日志安全问题,提出日志身份戳、日志安全身份戳、前向安全的日志身份戳等概念,并利用基于身份的公钥加密体制(IBE)设计日志安全身份戳系统,实现对日志审计用户的身份追溯和满足前向安全的日志加密等功能.IBE加密体制无需PKI公钥证书,可灵活实现基于身份标识的加密和签名.首先在研究IBE加密体制的基础上,实现以密钥管理为中心的IBE应用系统;将IBE应用于日志身份戳的设计,提出了一个基于IBE的安全日志身份戳应用系统LogIDStamp,并分析了系统应用的安全问题;最后实现系统测试,与PKI日志加密作性能比较,体现了安全和性能优势.

摘要：随着生物识别技术的应用和推广,生物特征对身份认证的影响愈加显著。为了保证用户的隐私,生物特征不能以明文形式进行存储或操作。针对此问题,文章对现有的生物特征认证系统的方案、性能做了分析和总结,采用FV方案构建并设计了一个基于全同态加密的虹膜特征密文认证系统。实现部分借助了微软的SEAL (Simple Encrypted Arithmetic Library)库。整个系统可在不对虹膜特征模板解密的情况下完成虹膜认证,且数据库中保存的是虹膜特征模板的同态密文,所以无需担心虹膜特征模板的泄露。同时该系统无需可信中心进行验证,直接通过一次性MAC认证方法在服务器端完成认证。测试表明,当系统采用海明距离比对算法等计算电路深度不高的虹膜算法时,有着不错的性能,基本满足了真实应用场景的需求。

摘要：针对语音加密算法A5寄存器级数过短并且抗穷举攻击能力弱的特点,提出了一种简单的自同步序列密码,用于对大数据量语音信号的加密传输.短的种子密钥不能完全初始化寄存器,为了达到扩展成足够长的初始密钥的目的,设计了一种结构简单并且非线性度很高的密钥扩展算法.利用此算法可以获得随机性强的初始密钥序列.利用延时器测试算法的加密效率,证明了此算法能够安全地使用在语音加密中.