摘要：利用椭圆曲线加法群提出了一种基于身份的签名算法,算法中签名的验证结果相对于签名者身份是一个常量,该算法可保证跨域认证中用户身份的匿名性,并且避免了复杂的双线性对运算。基于该算法设计了一种普适环境中的跨域认证方案,方案中用户利用该算法对时戳签名作为认证信息,在实现安全跨域认证的同时实现了用户匿名性。分析表明,该方案同时具有安全和效率上的优势,更加适合在普适环境下应用。

摘要：为解决在空间网络中实施集中式密钥管理困难以及维护公钥证书开销过大等问题,论文设计了一种基于身份的分布式密钥管理方案。结合空间网络特点,给出了分布式私钥生成中心的构建方法。并利用Boneh和Franklin提出的基于身份的公钥加密体制,设计了私钥更新、主密钥分量更新和会话密钥协商等策略。分析和仿真验证,该方案能满足安全要求,具有较好的扩展性。

摘要：提出一种基于身份的一次性公钥及签名算法,与现有算法相比,该算法具有较小的计算和通信开销。基于该算法设计了一种普适环境中的匿名认证方案,当用户进行恶意操作时,服务提供者通过和可信中心合作可以揭示恶意用户身份。方案在提供强匿名性的同时,可有效防止用户进行恶意活动。

摘要：针对装备保障过程中被保障单位需求量不确定的问题,在详细分析保障设施选址-路径相关因素的基础上,利用三角模糊数对需求量进行标定。通过运用模糊综合评价与群决策思想确定保障设施备选址点权重,构建时间满意度函数与惩罚成本函数,建立模糊需求下带有时间窗及容量限制的选址-路径模型,并设计了基于聚类分析与蚁群算法的混合启发式求解算法。通过算例分析验证了模型的正确性及算法的有效性。

摘要：为保证移动IPv6动态家乡代理发现过程的安全,采用加密生成地址方式将身份与公钥绑定,设计了基于身份的门限群签名方法,满足了动态家乡代理发现过程对认证的要求。在此基础上设计了动态家乡代理发现安全通信协议,保证了家乡代理信息的安全传输。通过对认证方法的安全分析和安全通信协议的形式化证明,表明设计的保护方案是安全有效的。

摘要：提出了一种基于SoPC的嵌入式USB主机的设计方案,将NiosII软核处理器嵌入到FPGA,控制USB主控制器SL811HS实现USB的点对点的数据传输,体现了其设计的先进性,并通过一个实例,详细地说明了USB主机在信息安全领域的简单应用,测试结果表明该方案的实用性和有效性。

摘要：分析了普适环境中组密钥管理方案的需求,结合基于身份的公钥密码技术和STR组密协商协议,设计了一种新的基于身份的可认证组密钥管理方案。针对普适环境中节点随时加入和退出群组的特点,设计了组密钥更新协议,保证了组密钥的前向和后向安全性。方案在满足安全性要求的前提下,具有较小的计算和通信开销。

摘要：将异构移动网络抽象成多级网络模型,将多级安全引入切换过程,设计了基于MLS(Multilevel Security)的安全切换策略。该策略针对用户连续切换产生的信息泄露问题,规定保证安全等级不降低的约束条件,保证切换过程中用户与网络的安全,并且与其他方案相比,能够提供更全面的安全保护。经形式化证明,该策略是安全的。

摘要：针对普适环境下的匿名认证问题,利用双线性对的相关特性,提出了一种无证书签名算法,算法中的签名矢量相对于签名者身份是一常量。基于该算法设计了一种匿名认证方案,方案中用户利用该算法对时戳签名作为认证信息,在安全认证的同时实现了用户匿名性。分析表明,用户端认证需要116.1 ms,计算量较小,方案在满足双向认证、用户匿名性和无关联性安全要求的同时,解决了现有方案存在的密钥托管问题。

摘要：计算机和信息技术对世界各地农业和农村发展发挥着重要的作用。虚拟农业技术将农业科学和信息技术、虚拟现实技术相结合,开辟了农业信息技术研究和应用的新途径。在给出了虚拟农业概念的基础上,分析了虚拟农业的组成、应用范围和发展方向。针对虚拟农业的一个典型应用——虚拟农作物,研究了虚拟农作物系统的结构,并采用植物三维重建法建立了虚拟农作物模型。