【摘 要】
:
面对天地一体化信息网络多域安全控制需求,针对单进程正则匹配的方式制约了互联安全网关的性能问题,提出基于进程通信语义安全分析的互联安全控制高性能优化方法。该方法采用以进程概念为中心的并行程序设计语言描述主从进程的交互模型,通过赋予状态转移系统语义,实现主从进程的组合语义精确的表达。通过形式化语义分析,该方法具有运行无死锁、饥饿,且等价于原有正则匹配的语义安全性。实验结果表明,该方法能够充分发挥多核硬件优势,使用进程绑定CPU方式,减少操作系统调度器的上下文切换开销,在复杂正则表达式情形下,比单核运行提高一个
【基金项目】
:
国家重点研发计划资助(No.2016YFB0800302)。
论文部分内容阅读
面对天地一体化信息网络多域安全控制需求,针对单进程正则匹配的方式制约了互联安全网关的性能问题,提出基于进程通信语义安全分析的互联安全控制高性能优化方法。该方法采用以进程概念为中心的并行程序设计语言描述主从进程的交互模型,通过赋予状态转移系统语义,实现主从进程的组合语义精确的表达。通过形式化语义分析,该方法具有运行无死锁、饥饿,且等价于原有正则匹配的语义安全性。实验结果表明,该方法能够充分发挥多核硬件优势,使用进程绑定CPU方式,减少操作系统调度器的上下文切换开销,在复杂正则表达式情形下,比单核运行提高一个
其他文献
垃圾填埋场主要是为了填埋那些不容易被处置的有毒有害物质,它是有毒有害物质处置的最终归处,其作用是将人类生产生活中的一些废弃物和生物圈有效隔离,防止造成二次污染,起到很好的环境保护作用。由于垃圾填埋场所填埋的有毒有害物质超标,毒性较大,如果没有做好有效的风险防范的话,很容易造成不同程度的泄漏,危及公众安全,引发突发性的环境事件。因此在垃圾填埋场日常运行过程中,应该对容易造成的各种风险因素做出有效地分析,并不断总结工作经验,将污染风险降低到最小程度,一旦出现环境污染因素,应该立即采取措施进行有效地监测,确保垃
针对低轨卫星网络链路断续连通的问题提出一种接入认证、通信恢复和卫星切换方案。该方案基于对称密码体制设计,采用单向散列算法、异或操作和时间戳保护机制,在实现安全接入认证的前提下,降低信令开销、带宽开销和计算开销。针对链路中断情况,该方案基于卫星网络和用户的当前会话密钥,快速安全地恢复通信,保障服务质量。通过轨道预测技术,根据当前会话密钥和随机数实现卫星接入点间安全切换,减少卫星切换过程中的通信成本。该方案还可实现用户身份匿名性,成功认证后刷新临时身份用于下一次认证。
作为典型的天地一体化信息网络系统,以北斗导航系统为核心的国家综合PNT体系与天地一体化信息网络密切相关,两者均为新一代信息基础设施的重要组成部分,并有逐渐相互融合的发展趋势。从政策法规与标准规范角度,探讨国家PNT体系的发展,并给出相关发展措施。具体工作包括梳理总结国内外PNT政策法规与标准体系的发展现状和研究进展,归纳分析国家PNT体系发展存在的问题,提出国家PNT政策法规与标准体系架构的思考。最后结合我国国情给出推进国家PNT体系发展的措施建议。
镉(Cd)污染农田土壤的修复是环境质量领域关注的热点,原位钝化修复技术是一项较为经济且实用的解决方案,其技术关键在于钝化材料。本文对各类钝化材料原位钝化Cd的修复效果进行了综合比较分析,综述了钝化材料应用优劣情况、研究趋势、成本效益及其潜在修复机理,以期为Cd污染农田土壤原位钝化修复材料应用提供参考。
以耕地和水环境保护为出发点,根据山东省各地市近五年来畜禽养殖量数据,采用排泄系数法估算畜禽粪便的产生量,在此基础上计算了畜禽粪便的耕地负荷和水体等标污染指数等指标,综合评价了各地市畜禽养殖业的发展对土壤和水环境产生的污染压力。研究发现:2014—2018年山东全省畜禽粪便的平均耕地污染风险指数为0.77~0.84,预警级别为Ⅲ级;全省平均水体等标污染指数由9.26逐渐降低为4.46,对应的预警级别由Ⅱ级降为Ⅰ级。表明畜禽污染已对土壤环境产生风险,潍坊市尤为突出;而畜禽污染对水体环境基本无污染风险,但不同地
为揭示我国不同土地利用类型区域河流中硝酸盐来源,本研究收集了我国42个流域旱季、雨季的NO3--N浓度数据,以及δ15N-NO3和δ18O-NO3的特征值,并开展整合分析。结果表明,旱季河流的NO3--N、NH4+-N和Cl-浓度均显著高于雨季(P<0.05),
天地一体化信息网络在实现全球覆盖、随遇接入、按需服务、安全可信的同时,也面临着更加复杂多变的安全威胁,相比于传统互联网,卫星网络具有拓扑的高动态变化、特有的数据传输协议和格式等特点。因此,将卫星网络攻击的规律融合到APT攻击的规律中,构建天地一体化信息网络安全知识图谱和攻击规则库,进而对天地一体化信息网络攻击进行综合研判。采用包含时空属性的数据模型表达攻击规律,在数据有非连续漏报和误报的情况下,可以进行攻击研判的补全。本文提出的攻击研判框架可以实时、准确地感知天地一体化信息网络的安全状态,并为其威胁响应提
“低污染水”这一概念被提出后,即在洱海、星云湖、抚仙湖和太湖等湖泊的水污染防治中得以应用。近年来,关于低污染水的内涵不断得到丰富。本文综述了低污染水的定义与类型、发展脉络、在水体保护中的定位、处理技术和回用等。最后针对低污染水的特点对其处理技术和管理体系等进行了展望,为今后对低污染水的深入研究与资源化利用提供了总体思路。
在网络信息化高速发展的时代,物联网技术因其具有方便、实用的优势渐渐得到社会的关注。目前来看,应用物联网技术进行环境监控取得了很好的效果,环境监测的质量得到了很大程度的改善。在经济全球化的背景下,我国发展速度较快,但在发展的过程中,我们没有充分重视经济发展对于环境的破坏。本文指出当前环境污染情况已经对人们的生活产生了一定的影响。生态环境保护是当前亟待解决的问题,而应用物联网技术进行环境质量监测可以很
针对卫星网络管理及维护难度大和大容量数据传输的迫切需求,提出一种基于蚁群算法的软件定义卫星光网络跨层波长路由算法(SDNCL-RWA)。该算法将时延和可用波长率作为启发函数,并设计一种两阶段的跨层波长路由机制来减少路由跳数和网络阻塞率,首先在LEO卫星单层网络中路由,当路由失败或者路由跳数过高时借助MEO卫星网络路由。在软件定义卫星光网络架构下进行仿真,结果表明SDNCL-RWA算法比传统的Dijkstra+FF(First Fit)算法和波长路由蚁群算法(ACO+FF)在网络阻塞率和路由平均跳数这两方面