摘要：工业互联网是工业经济与新一代计算机信息技术高度融合的产物。工业互联网安全是网络安全的重要组成部分。分析中国工业互联网安全大赛选拔赛的赛况发现,针对工业互联网安全人才存在数量缺口大、能力素质不高、结构不尽合理等问题。以郑州大学为例,对软件工程专业工业互联网安全人才的培养模式进行了探索,设计了工业互联网的教学内容,深化产学合作协同育人,基于工业互联网安全虚拟仿真平台开展攻防比赛。通过组织比赛,既促进了团队的网络安全综合能力,又调动了更多学生的学习主动性,提升了学生解决工业互联网安全问题的能力。

摘要：研究了高托蜂窝式钢与混凝土组合梁的计算方法．按拟定的计算方法设计了三根梁，通过理论值与实测值的对比分析以及对梁在试验过程中的性态分析验证了理论计算及假设的正确性．

摘要：网络上进行保密通信,通信双方能否安全地进行,很大程度上取决于密钥的安全分配和协商。已有的密钥共识协议不能抵抗主动攻击。RSA密码体制用于身份验证时,不能抵抗乘法攻击。通过对LUC公钥密码体制的研究,给出了新的密钥共识协议,并为研究密钥共识问题提供了新的思路。新的协议可以抵抗被动攻击并发现主动攻击;储存密钥密文的攻击对本协议无效。

摘要：引入了正交表的概念 ,讨论了正交表的性质和构造 ,基于正交表建立了一种新的门限方案 .子密钥的长度小于主密钥的长度是这种门限方案的优点 .同时 ,本方案还将每个用户的子密钥数正比于用户的重要性 ,可以辨认子密钥人员的合法性以及有效防止子密钥和主密钥的篡改 .

摘要：物联网是一个多网异构融合网络,其感知层常面临各类安全威胁。物联网网关作为感知层和网络层的桥梁,应当具备安全管理功能,防止安全问题向上层扩散。针对物联网网关目前安全方面的不足,以物联网网关中间件技术为平台,设计一个通用的物联网网关安全系统。该系统可以嵌入不同的安全协议或算法,然后进行建模与分析,能够辅助安全网关的设计和具体实现。利用时间自动机对系统进行形式化建模与验证,验证结果表明物联网网关安全系统满足机密性、可用性、真实性、顽健性、完整性和新鲜性6项安全需求。

摘要：目前无线局域网的安全性问题是其目前发展中存在的主要障碍之一,针对IEEE802.11标准采用的WEP(wired equiva-lent privacy)中的不安全因素,TGI提出了WEP的改进方案TKIP(temporal key integrity protocol),主要分析了TKIP中的完整性算法MIC(message integrity code)Michael的结构以及安全性。

摘要：研究高托蜂窝式钢与混凝土组合梁的计算方法，按照拟定的计算方法设计3振梁进行试验，取得了较为翔实可靠的试验数据，通过整理与分析，对高托蜂窝式组合梁的整体受力性能和承载力作出评价，通过理论值与实测值的对比分析以及对梁在试验过程中的性态分析，验证理论计算及各项假设的正确性．总结出高托蜂窝式组合梁的设计计算方法，以促进这种渠的设计与应用．

摘要：为解决直流微电网中Boost变换器带恒功率负载引起的不稳定问题,提出一种自适应反步控制。首先,采用坐标变换将系统模型转换为标准形式,避免寄生电阻对主控制器的影响。其次,为了改善系统的鲁棒性,利用扩展非线性干扰观测器和基于变换器动态模型设计的输入电压观测器在线估计和补偿外部扰动、寄生电阻与集总不确定项干扰。经过优化后的自适应反步控制可以在系统初始参数有限且不精准的前提下运行。之后运用李雅普诺夫与混合势函数理论验证控制器的大信号稳定性,并给出控制器参数设计原则,保证了输出电压的全局轨迹跟踪和快速动态响应。最后,通过仿真与实验验证了所提控制在恒功率负载高度渗透直流微电网下的有效性与优越性。

摘要：新市民的住房保障直接影响到城市的活力与发展。源自美国的租房券,是住房短缺状况缓解后的租赁支持政策:通过发放住房消费券,让中低收入者搬进“基本体面”且可负担的住房。相比于住房实物补贴和现金补贴,租房券能更好地改善中低收入家庭的住房福利。在制度安排上,租房券补贴直接支付给房东,数额为家庭可负担的合理租金上限与公平市值租金间的差额,参与租房券计划的租赁房质量须符合特定的设计与安全标准。从政策效果看,租房券显著降低了参与家庭的住房负担,有利于改善其居住环境、分散贫困和提升人力资本。我们认为,将租房券引入中国的时机已经成熟。创造性地探索为符合条件的新市民发放租房券,有望更好地盘活存量房源、增加合意的租赁住房供应,提升租住品质。不妨率先在住房供过于求或总体平衡的城市试点发放租房券,住房总体短缺的城市可在增加租赁住房供应的基础上适当发放租房券。短期内可将用于住房实物补贴的存量资金转为租房券补贴,未来的增量补贴则应以租房券为主,从而实现住房补贴政策的渐进式结构性转变。各地租房券具体的申请资格、支付标准,应由地方政府根据各地实际情况来决定,还应加强租房券监测与评估,在实践中动态优化租房券政策。

摘要：针对现有用户-用户的层次化角色授权模型存在授权冲突问题,基于授权的时限和约束限制规则,对层次化角色的授权组件、相关性质以及互斥角色的约束限制规则进行了描述。提出了一种层次化角色的受限授权模型,该模型满足最小特权和职责分离两安全原则。给出了角色授权的生成和撤销算法,并对该模型的正确性和完整性进行了讨论。最后给出了实现该模型的体系架构,并通过应用实例验证了模型的有效性和实用性,较好地解决了角色层次上的授权冲突问题。