基于身份认证的BACnet/IP分析与改进

为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和形式化分析方法对BACnet/IP进行安全性分析,发现协议漏洞并提出改进方案。BACnet/IP-SA协议使用设备的伪身份来保护真实身份信息,使用PUF响应进行认证,通过多信息集合的验证值来验证端身份的真实性并生成会话密钥。结合BAN逻辑和非形式化方法,对协议的安全性进行了证明。实验结果表明,所提方案能有效抵抗多类攻击和密钥泄露带来的安全威胁,在减少计算开销的同时增强了协议身份认证的安全性。

安徽省金融产业集聚的就业效应研究——基于16个地市面板数据的实证分析

基于2008—2017年安徽省16个地市面板数据,运用混合回归和稳健性检验实证研究安徽省金融产业集聚的就业效应。研究结果表明:金融产业集聚与就业水平呈显著的正相关,其中银行业集聚程度对就业水平的影响程度最高。省内各城市应针对金融差异化水平发展地方金融、完善金融体系、鼓励金融业尤其是银行业发展、引导互联网金融联系实体经济,实现提高区域就业水平的愿望。

谈建筑群体组合中的艺术性原则

根据建筑构图的基本原理,对建筑群体组合设计中统一、对比、均衡、韵律四种关键手法进行了阐述,总结出了建筑群体组合中的艺术性原则,使建筑各组成部分既有多样性,又有和谐秩序,组合为一个有机整体。

配变的无功补偿

1配电网中变压器无功损耗的补偿方法分析对于工业企业的用电企业,如果配电网中的高压侧没有适当的无功补偿设置,变压器无功损耗就得不到相应的补偿,而在变压器的低压侧设置的自动补偿装置往往是检测不到高压侧的无功补偿信息,变压器也就无法通过投入的低压电容来补偿高压侧无功损耗,这样就不能降低线路中的功率损耗。根据变压器中出现的这种无法补偿的情况,可以提出如下的解决方案。1.1在配变变压器的高压侧配置高压电容器组。