基于Event-B对存在网络攻击的安全协议的改进研究

设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个基于Event-B方法的通用框架,用来指导安全协议的修改,并验证改进后的协议可以防御已知的网络攻击。首先用初始模型对攻击场景高度抽象,通过对抽象模型的精化,得到反映真实攻击过程的具体模型。然后将描述协议行为的事件从模型中分离出来,单独对其进行精化改进,如果改进后的协议事件重组的模型与具体模型不存在精化关系,则改进的合理性可以得到验证。最后通过NSPK协议被攻击的案例展示了本研究所提出方法的可用性。该框架可用于开发协议,以避免由逻辑漏洞引起的攻击,并验证协议补丁的正确性。

机坪地面设备工况监控系统Sensor-Hub技术研发

针对目前部分机场采用的设备生产状态感知监控设备,功能单一,处理能力一般,对于复杂的机坪工况设备布局需要配置多套设备,且不能完全保证数据的实时性,而且系统稳定性也不够。本文研发的感知监控系统利用无线采集与处理技术应用于机坪设备工况监控领域,加上物联网技术,实现智能的远程监控,构成智能一体化系统,很大程度上解决目前机坪设备监控问题,实现管控智能一体化。

为民多奉献 为党添光彩——记旌德县版书乡龙川村党支部书记何述智

“诚心为民，民必理解：真心为民，民必拥护”这句朴实无华的话语充分反映了旌德县版书乡龙川村党支部书记何述智一颗为民服务的心。