检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于消息构造的安全协议实施安全性分析

基于消息构造的安全协议实施安全性分析

作者：鲁金钿中南民族大学

学位级别：硕士

安全协议作为网络空间安全的重要组成部分,是保障网络空间安全的关键和灵魂。从安全协议的设计及其抽象规范安全性的分析验证、到安全协议实施（安全协议代码）,人们主要集中在对安全协议抽象规范的安全性分析和验证方面,实用性较差,较... 详细信息

安全协议作为网络空间安全的重要组成部分,是保障网络空间安全的关键和灵魂。从安全协议的设计及其抽象规范安全性的分析验证、到安全协议实施（安全协议代码）,人们主要集中在对安全协议抽象规范的安全性分析和验证方面,实用性较差,较少涉及到具有很强实用性的安全协议实施的安全性。因为经过理论分析证明安全的安全协议抽象规范,很可能在其软件实施部署中引入新的安全问题。要防止这类安全问题的出现,必须在代码级研究安全协议的安全性,也就是对安全协议实施的安全性进行研究,以得到具有很强实用性的安全协议实施。安全协议实施目前主要依靠人为的理解和提取。通过程序分析理解实施代码,需要准确理解其语义特征和含义,由于先验模式的局限性,就导致了安全协议实施理解的误差。此外,有些私有协议在保证自身规范的同时使用了自定义的加密/解密函等函数,这些函数的先验模式的建立便存在模式不完整等缺陷,这对安全协议实施的语义特征及规范化理解也造成了较大难度,进而对分析安全协议实施的安全性也产生了很大的挑战。故本文基于能获取安全协议客户端实施,对安全协议实施安全性进行研究,提出了基于消息构造的安全协议实施安全性分析方法,主要工作如下:（1）提出基于API trace的安全协议消息构造方法MCSPI:首先,拦截安全协议的通信消息并解析该消息,进而得到消息token;其次,从提取的安全协议客端实施中抽取安全相关函数,并应用API跟踪技术得到安全函数间的依赖关系及API trace,同时应用提出的API trace解析算法ATPA解析该API trace并建立相应的栈结构保存解析结果;接着,分别从构成协议消息token的安全函数输出不依赖于别的安全函数和构成协议消息token的函数输出依赖与别的安全函数存在依赖关系两种情形对需要替换的消息token进行定位、标记;然后,基于建立的栈结构及安全函数依赖关系重构被跟踪的安全函数输出序列值;最后,应用重构的序列值替换被标记的消息token,进而得到构造的安全协议请求消息。（2）提出基于MCSPI的安全协议实施安全性分析方法,生成安全协议服务器端抽象模型。首先,拦截安全协议服务器端返回的对构造的请求消息的响应消息,并对其进行解析;然后,从解析结果中抽取服务器端对请求消息的处理结果;最后,基于抽取的处理结果生成安全协议服务器端抽象模型。（3）基于提出的方法,设计并实现了SPIA工具,辅助完成安全协议实施安全性分析,其主要包含net-trace解析模块、token定位模块及安全函数输出重构模块等模块。（4）应用SPIA工具对RSAAUth等安全系统及2017版腾讯QQ邮件服务系统进行分析,发现被测试系统的服务器端存在对请求消息中密码原语相应的处理,但RSAAuth等系统对于口令的暴力破解攻击存在脆弱性。而2017版腾讯QQ邮件系统对用户登录会话的生命周期进行了严格限制,若会话时长超过了该生命周期,则本次会话失效,这能降低口令被暴力破解的成功率,在一定程度上减缓了口令暴力破解攻击。

关键词：协议安全安全协议实施消息构造 API跟踪抽象模型口令暴力攻击

基于衍生搜索政治优化算法解决含可再生能源的多区域经济调度问题

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电网技术 2024年第4期48卷 1583-1592,I0055,I0056-I0059页

作者：陈旭鲁启江苏大学电气信息工程学院江苏省镇江市212013

随着可再生能源并入多区域电力系统,其不确定性大大增加了电力系统多区域经济调度的复杂度。如何高效求解含有风力和太阳能的多区域经济调度(multi-areaeconomic dispatch containing wind and solar energy,MAEDWS)问题面临着严峻的挑... 详细信息

随着可再生能源并入多区域电力系统,其不确定性大大增加了电力系统多区域经济调度的复杂度。如何高效求解含有风力和太阳能的多区域经济调度(multi-areaeconomic dispatch containing wind and solar energy,MAEDWS)问题面临着严峻的挑战。针对现有优化算法在处理MAEDWS问题时存在收敛速度慢和求解精度低等不足,该文提出一种基于衍生搜索的政治优化(derivative search-based political optimizer,DSPO)算法。在政治优化算法的基础上,引入首脑引领策略和衍生搜索机制。前者引领候选解前往更有希望的区域,加快收敛速度;后者在区域获胜者周围衍生邻域解,丰富多样性。该文将DSPO算法和其他6种代表性算法应用于MAEDWS问题,并进行对比分析。收敛曲线和性能指标的结果表明DSPO算法在收敛效率、求解精确度、稳定性方面取得了整体最优。

关键词：多区域经济调度风力和太阳能政治优化算法衍生搜索

基于计算模型的安全协议Swift语言实施安全性分析

在线全文

学校读者我要写书评

暂无评论

通信学报 2018年第9期39卷 178-190页

作者：孟博何旭东张金丽尧利利鲁金钿中南民族大学计算机科学学院

分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包... 详细信息

分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包含SubSwift语言的语句、类型到Blanchet演算的语句及类型的映射关系与规则;再次根据Sub Swift语言到Blanchet演算的映射模型,提出从安全协议Sub Swift语言实施生成安全协议Blanchet演算实施方法;最后应用Antrl4工具和Java语言开发安全协议Blanchet演算实施生成工具SubSwift2CV,分析OpenID Connect协议、Oauth2.0协议和TLS协议的SubSwift语言实施安全性。

关键词：安全协议实施安全性 Swift语言形式化分析模型抽取

改进的OpenID Connect协议及其安全性分析

在线全文

学校读者我要写书评

暂无评论

计算机应用 2017年第5期37卷 1347-1352页

作者：鲁金钿尧利利何旭东孟博中南民族大学计算机科学学院武汉430074

Open ID Connect协议是最新的单点登录协议之一,已经广泛应用于用户身份认证领域,其安全性受到了人们的重点关注。为增强Open ID Connect协议的安全性,首先引入数字签名及非对称加密技术,对其进行改进,重点关注改进后协议的秘密性和认证... 详细信息

Open ID Connect协议是最新的单点登录协议之一,已经广泛应用于用户身份认证领域,其安全性受到了人们的重点关注。为增强Open ID Connect协议的安全性,首先引入数字签名及非对称加密技术,对其进行改进,重点关注改进后协议的秘密性和认证性;其次基于符号模型,应用应用PI演算对改进的Open ID Connect协议进行形式化建模;然后为验证改进后协议的认证性和秘密性,分别使用非单射性和query对认证性和秘密性进行建模;最后把改进的Open ID Connect协议的应用PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析。实验结果表明,改进后的Open ID Connect协议具有认证性和秘密性。

关键词：非对称加密数字签名认证性符号模型形式化方法 Pro Verif

非控股股东积极参与决策提升了资产定价效率吗?——基于股价信息含量的考察视角

在线全文

学校读者我要写书评

暂无评论

管理工程学报 2024年

作者：鲁乔杉李秉祥张涛西安理工大学经济与管理学院西安财经大学商学院甘肃政法大学商学院

股价信息含量对资本市场运行效率具有重要的评价作用。股价的信息含量较低,意味着股价中的公司特质性信息的融入程度较低,严重损害了股票价格引导资源配置的效率。本文以2006—2019中国A股上市公司为研究样本,从股价信息含量视角出发,... 详细信息

股价信息含量对资本市场运行效率具有重要的评价作用。股价的信息含量较低,意味着股价中的公司特质性信息的融入程度较低,严重损害了股票价格引导资源配置的效率。本文以2006—2019中国A股上市公司为研究样本,从股价信息含量视角出发,通过上市公司股东大会的投票数据,探究非控股股东积极参与决策对股价信息含量的影响效应及内在作用机制。结果发现,非控股股东积极参与企业决策可以显著提高上市公司股价信息含量。该结论在经过一系列稳健性检验,并考虑内生性问题之后依然成立。进一步研究表明,在股权集中度高、企业信息透明度低、非“四大”审计的企业中,非控股股东参与企业决策积极性高则更有利于提高股价信息含量。研究证明非控股股东参与决策能够通过发挥“监督效应”的作用机制,进而影响股价信息含量。影响渠道的分析结果表明,抑制控股股东“掏空”行为和企业私有信息隐藏行为,是非控股股东积极参与决策提升股价信息含量的作用渠道。

关键词：非控股股东积极性股价信息含量信息不对称资源配置

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

国际危机中声望动机的识别

世界经济与政治 2024年第2期 89-117,156页

作者：丁鲁西南政法大学政治与公共管理学院重庆401120

在国际危机中,决策者需要识别对手的动机,以制定行之有效的应对之策。其中一项富有挑战性的动机识别工作是判断对手追求声望的动机。具体而言,决策者有时判断声望动机在对手的决策中发挥主导作用,有时则判断声望动机仅发挥次要作用。作... 详细信息

在国际危机中,决策者需要识别对手的动机,以制定行之有效的应对之策。其中一项富有挑战性的动机识别工作是判断对手追求声望的动机。具体而言,决策者有时判断声望动机在对手的决策中发挥主导作用,有时则判断声望动机仅发挥次要作用。作者因此探讨决策者依据什么条件判断声望动机为对手主导(或次要)动机。根据声望动机识别理论,当满足以下任一条件时,决策者会判断声望动机在对手的决策中发挥主导作用:其一,决策者判断对手的非理性程度高,且危机所涉及对手的物质利益重要性高;其二,决策者判断对手的非理性程度低,且危机所涉及对手的物质利益重要性低。在其他情况下,决策者会判断声望动机仅在对手的决策中发挥次要作用。对阿比西尼亚危机和第三次柏林危机两个案例的过程追踪研究验证了这一理论的有效性,有助于理解国际危机中的妥协行为,并对制定合理的声望政策具有一定的启示意义。

关键词：国际危机声望动机动机识别阿比西尼亚危机第三次柏林危机

端接复杂电路传输线网络的电磁耦合时域并行计算方法

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2024年第2期46卷 713-719页

作者：叶志红张玉鲁唱唱重庆邮电大学通信与信息工程学院重庆400065 电网环境保护全国重点实验室武汉430074

针对端接复杂电路传输线(TL)网络的电磁耦合问题,仍缺乏高效的场路协同仿真技术。该文将传输线方程与时域有限差分(FDTD)方法、诺顿定理和置换定理以及NGSPICE软件相结合,并引入消息传递接口(MPI)并行技术,提出一种高效的时域混合并行算... 详细信息

针对端接复杂电路传输线(TL)网络的电磁耦合问题,仍缺乏高效的场路协同仿真技术。该文将传输线方程与时域有限差分(FDTD)方法、诺顿定理和置换定理以及NGSPICE软件相结合,并引入消息传递接口(MPI)并行技术,提出一种高效的时域混合并行算法(FDTDTL-NGSPICE)。首先,根据诺顿定理和置换定理,将传输线网络分解为传输线子系统和复杂电路子系统,并构建对应的等效电路模型。然后,使用FDTDTL并行算法计算传输线子系统沿线各点的电压和电流,并获取对应诺顿等效电路的电流源和等效导纳大小。最后,使用NGSPICE对复杂电路子系统进行传导干扰分析,获得复杂电路各元件上的瞬态响应,并将端口电压反馈给传输线子系统作为边界,实现传输线网络电磁耦合的场线路联合协同仿真。通过对3类典型场景的计算实例,分别使用时域混合并行算法和电磁仿真软件CST电缆工作室(CS)进行数值模拟并对比,验证所提算法的置信度。

关键词：传输线网络复杂电路诺顿定理时域有限差分与传输线方程的混合并行算法 NGSPICE软件

可重构智能表面辅助通信系统时变级联信道估计

在线全文

学校读者我要写书评

暂无评论

通信学报 2024年第1期45卷 119-128页

作者：邵凯鲁奔王光宇重庆邮电大学通信与信息工程学院重庆400065 移动通信技术重庆市重点实验室重庆400065 移动通信教育部工程研究中心重庆400065

针对可重构智能表面(RIS)辅助通信系统时变级联信道的估计中需解决的级联信道稀疏表示、时变信道参数跟踪和信号重构等关键问题,提出了一种结合Khatri-Rao积的分层贝叶斯卡尔曼滤波(KR-HBKF)算法。该算法首先利用信道的稀疏特性,通过Kha... 详细信息

针对可重构智能表面(RIS)辅助通信系统时变级联信道的估计中需解决的级联信道稀疏表示、时变信道参数跟踪和信号重构等关键问题,提出了一种结合Khatri-Rao积的分层贝叶斯卡尔曼滤波(KR-HBKF)算法。该算法首先利用信道的稀疏特性,通过Khatri-Rao积和克罗内克积变换得到RIS级联信道的稀疏表示,将RIS级联信道估计问题转化为低维度的稀疏信号恢复问题。然后,根据RIS级联信道的状态演化模型,在HBKF算法的预测模型中引入了时间相关性参数,应用改进的HBKF解决时变信道参数跟踪和信号重构问题,完成时变级联信道的估计。KR-HBKF算法综合利用了信道的稀疏性和时间相关性,能以较小的导频开销获得更好的估计精度。仿真结果表明,与传统压缩感知算法相比,所提算法具有约5 dB的估计性能提升,且在不同的时变信道条件下具有更好的鲁棒性。

关键词：可重构智能表面信道估计贝叶斯压缩感知卡尔曼滤波

在线全文

学校读者我要写书评

暂无评论

“统一的多民族国家”:概念溯源与话语演变

社会主义研究 2024年第1期 17-24页

作者：鲁特上海交通大学马克思主义学院

“统一的多民族国家”是具有中国特色的政治概念和话语表达。既有研究侧重于对其进行历史证成和理论阐释,少有从概念史的层面对其进行概念溯源和话语演变的梳理。“统一的多民族国家”概念孕育于中国自古以来的“国家统一”话语,生成于... 详细信息

“统一的多民族国家”是具有中国特色的政治概念和话语表达。既有研究侧重于对其进行历史证成和理论阐释,少有从概念史的层面对其进行概念溯源和话语演变的梳理。“统一的多民族国家”概念孕育于中国自古以来的“国家统一”话语,生成于中国共产党革命、建设和改革时期的社会实践,经新时代以来的理论创新,其概念内涵日益丰富,话语价值充分彰显,建构方式也逐渐明确。对其进行概念史的梳理,可以厘清这一概念和话语背后的政治意涵,深刻理解我国是“统一的多民族国家”的历史和国情,为推进中华民族共同体建设和实现中华民族的伟大复兴提供理论指引。

关键词： “统一的多民族国家” 国家统一民族团结概念史