摘要：为分析和验证JFKi协议的相关属性,对Spi演算的扩展进行研究,利用扩展Spi演算对JFKi密钥交换协议进行形式化分析,证明JFKi协议满足认证性和保密性。然而,JFKi协议在遭到重放攻击后,发起方的身份信息会泄露,且JFKi协议本身的属性让它更容易遭受Dos攻击。针对这些缺陷,提出一种JFKi协议的改进方案,采用Spi演算验证该方案是可行的且安全性更高。

摘要：为提高密码体制中签密的运算效率和安全性,减少传统属性签密的双线性对的运算量,利用格理论构建基于格的属性签密方案,提高计算效率的同时,抵抗量子攻击。为验证该方案的安全性,在随机预言机模型下,利用格理论中带错误学习困难问题和小整数解困难问题分别分析该方案需要满足的安全性要求。分析结果表明,该方案是可行的且具有高安全性。

摘要：目的筛选适于鉴定乌贼的DNA条形码,建立鉴定舟山常见乌贼种类的DNA条形码技术体系。方法用聚合酶链反应(polymerase chain reaction, PCR)对现有5组DNA条形码引物组合进行了筛选,设计一对新的DNA条形码引物以供筛选备用。结果现有引物与部分乌贼的DNA模板存在错配而缺乏通用性,在部分乌贼DNA的扩增受阻。本实验设计的12S rRNA基因引物可以特异性扩增乌贼的DNA,提高了乌贼鉴定的准确度。结论本研究设计的12S rRNA基因引物可以作为现有乌贼DNA条形码鉴定的补充。