基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

博斯腾湖环境状况及保护措施初探

通过对博斯腾湖环境变化趋势，、污染治现状及存在的主要问题的分析，提出保护改善博斯腾湖环境的相关对策措施。     

基于口令的高效语义安全的密钥交换

仅借助Hash函数和异或运算,构造了一种高效、可证明安全的基于口令的密钥交换协议.在随机预言模型下,该协议的安全性可紧致归约到计算Diffie-Hellman难题上,从而证明该协议是语义安全的,并能对抗离线字典攻击.最后,与同类协议相比,该协议显示出更高的执行效率与通信效率.     

超媒体网络课件中的导航设计

本文首先简要分析综述了当前网络课件发展的现及课件导航中所存在的问题,在此基础上,根据课件中知识性和功能性相结合的特点,进出了课件导航的一系列需求,并描述了静态,动态导航的一般设计方法,最后对该方法的实现技术进行了讨论。     

高效液相色谱法测定食品中的多环芳烃

本文使用高效液相色谱测定食品中的多环芳烃,效果理想。     

“李约瑟难题”的经典解答及理论启示

英国著名学者李约瑟博士,在研究中国科学技术发展史的过程中,提出了学术界著名的“李约瑟难题”。本文就是运用了大量历史事实和范例,遵循科学发展规律,从不同角度,不同层面对“李约瑟难题”进行了理论探究和分析。这对于弘扬中国传统的科学精神,提高中华民族的科学文化素质,促使我国早日重归世界科技的前沿,具有深远的理论意义和现实意义。     

完整内部安全的混合签密方案设计与分析

设计达到完整内部安全的混合签密方案(HSC)是目前亟待解决的重要问题,而如何实现高效安全的签密密钥封装机制(SC-KEM)则是解决该问题的关键。为此,先设计一种带标签的签密密钥封装机制(SC-tag-KEM)的通用构造方案(SCtK_std),该方案通过签名绑定标签与密钥封装报文,将得到的签名和临时密钥使用消息认证码进行绑定。在标准模型下进行的安全性分析表明SCtK_std方案可达到DM-IND-iCCA安全和DM-SUF-iCMA安全,进而为达成完整内部安全奠定基础。然后,将SCtK_std方案与被动安全对称加密机制结合,构造了一种可达完整内部安全的混合签密的通用构造方案(HSC_std)。在标准模型下进行的安全性分析表明HSC_std方案同时具备IND-CCA2安全与SUF-CMA安全,进而达到完整内部安全。     

运用格规约分析RSA解密指数安全性

分析RSA算法的解密指数的安全性是业界关注的重点问题,目前多项研究给出了解密指数的不安全范围,其局限性均为仅使用基于连分数逼近的分析方法,且仅指出了解密指数与模数的关系。实际上,RSA算法的解密指数的安全性还与其所使用的素数和加密指数大小有关。为分析更广义的RSA算法的解密指数的安全范围,文章提出了一种运用格规约攻击小解密指数的攻击算法(LW)：首先构造最短向量与解密指数相关的二维格,然后寻找该二维格中的最短向量,最终从最短向量中提取解密指数。分析LW算法攻击成功的条件可知：令N、e、d分别为RSA算法所使用的模数、加密指数、解密指数,p、q(p≥q)为大素数,则当ped²≤N²时,使用LW算法可破解得解密指数。同时证明了LW算法与基于连分数逼近的攻击方法具有等价关系,即若满足连分数逼近方法的攻击条件,则使用LW算法也可攻击成功,反之亦然。最后,在3种基于连分数逼近的攻击算法的已知条件下使用LW算法,分别得到攻击成功时的广义解密指数不安全范围,分析结果展示了LW算法的通用性。

     

"李约瑟难题"的经典解答及理论启示

英国著名学者李约瑟博士,在研究中国科学技术发展史的过程中,提出了学术界著名的"李约瑟难题".本文就是运用了大量历史事实和范例,遵循科学发展规律,从不同角度,不同层面对"李约瑟难题"进行了理论探究和分析.这对于弘扬中国传统的科学精神,提高中华民族的科学文化素质,促使我国早日重归世界科技的前沿,具有深远的理论意义和现实意义.     

基于Kerberos的统一身份认证授权系统的设计

统一身份认证授权系统是基于Kerberos协议实现的单点登陆系统.Kerberos协议以时间为依据进行票据超时的判断,它要求系统内所有用户时间同步,容易受到重放攻击.同时,Kerberos协议要求记录用户状态,而目前WEB环境中广泛应用的HTTP协议是具有无状态特性的.系统根据当前WEB环境的特性进行了相关改进,以客户端浏览器插件和HttpSession的方法成功解决了上述的两个问题,通过构造独立的认证服务器、票据服务器和客户端程序来完成用户身份的认证与授权操作的单点登陆系统,提高校园网的安全性.