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

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

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

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

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

仅借助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安全,进而达到完整内部安全。     

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

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

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

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

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

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

基于特征聚类的光伏集群出力时空随机模拟方法

随着分布式光伏集群的建设和集群控制的需求,不仅需要单个光伏站点的信息,而且需要光伏集群内各站点的综合信息,亟须发展光伏集群出力时空的随机模拟模型.而光伏集群内各站点出力在时间和空间上的相关性,使得光伏集群出力特性的随机模拟模型的准确性不能保证.为此,文章提出了一种基于特征聚类的光伏集群出力时空随机模拟模型.该方法基于k-means特征聚类方法,考虑不同站点出力时空相关性特征,将光伏出力以天气类型划分为4类,并依此构建单站点出力的马尔可夫链的时序模型,利用不同站点间时空的相似性完成对光伏集群的数据模拟,为分布式光伏集群的建设和集群控制提供数据参考.基于河北电网部分实际光伏电站的仿真计算,验证了所提数据模拟方法的正确性和有效性.