SG-Edge: 电力物联网可信边缘计算框架关键技术

随着国家电网电力物联网的逐步推进,作为其核心支撑技术的边缘计算框架逐渐成为研究热点.首先,总结了物联网和边缘计算框架方面的已有研究工作;其次,通过分析电力物联网在业务场景、边缘计算、信息安全等方面的关键技术难题,提出了一种适应于电力物联网的可信边缘计算框架SG-Edge;随后,结合边缘框架的可信防护关键难题,给出了硬件可信引导、软件行为动态度量等关键技术方法;最后,从业务适应性、安全性以及性能等方面对SG-Edge进行了全面评估,并对未来研究可能面临的挑战进行了展望.     

基于Isabelle/HOL的安全操作系统形式化验证方法

操作系统作为信息时代的基石,其安全性不言而喻。常规的软件测试方法不足以保障操作系统的安全性,需使用更为严格的基于数理逻辑的形式化验证方法。本文提出一种软件形式化验证的新思路：通过在Isabelle中构造模拟运行环境,使汇编代码运行其中,并记录系统状态的变化,最终根据程序运行前后系统状态的变化情况判断程序的正确性和安全性。重点介绍了顺序、分支和循环等3种程序结构的证明方法,并通过一个程序实例证明,得到在任意前提条件下程序执行前后系统状态的变化情况。      

电网智能终端安全防护技术研究

随着GPRS,3G,Wi-Fi等无线通信技术的发展,越来越多的电网智能终端开始采用无线通信进行信息的传输,在满足智能化、互动化需求的同时,也带来了相应的安全问题。通过分析目前主流的一些安全防护措施方法及其优缺点,结合电网智能终端的应用环境及特点,并考虑当前国家的相关政策对信息安全防护的要求,提出一种适合电网智能终端的安全防护方案。     

基于策略的网络安全系统

网络规模的扩大容易引入各种各样的病毒攻击和网络入侵，这严重影响网络的安全。本文提出一种安全系统设计方案，以P2DR模型为指导，将防火墙和IDS系统融合在一起，并采用COPS协议实现安全策略和IDS审计数据的传输，同时系统提供一种接口，为第三方开发提供服务。     

基于等级保护的安全运维系统的研究与设计

等级保护贯穿信息系统从设计研发、上线运维到废弃停用全生命周期的各个环节,运维是信息系统必要且关键的环节之一,文章通过对等级保护《基本要求》的理解和分析,对信息系统运维现状和产生的问题进行总结概括,研究和设计了一种安全运维系统,并介绍了该系统的设计思路、实现方法和应用前景。     

适用于分布式静态检测的Java代码依赖性分析技术

为满足Java静态分布式检测系统对Java程序源代码解耦分包的需求,解决代码检测单节点单进程运行耗时过长问题,实现分布式检测系统单任务多节点并行运行的目的,本文提出了Java源代码文件间依赖性分析方法.该方法以生成源代码文件抽象语法树的方式抽取文件文本信息,遍历分析抽象语法树,获取文件与其他源代码文件类依赖关系,再通过定位类所在的文件方式得到文件与文件之间依赖关系.同时,以无入边顶点的带环有向图表示文件间依赖关系图,本文提出的方法基于该图进行了文件间解耦的分析.最后,通过对示例程序逐步剖析的实验以及对数个开源工具源代码解耦拆分的实验,验证了本文提出的文件间依赖性分析方法的可行性.     

一种基于ISO/IEC 7816的COS的设计与实现

文中通过对智能卡协议规范ISO/IEC 7816的研究,提出了一种应用于安全芯片的COS系统的设计方案。该系统能够有效地调用安全芯片中非对称算法RSA及国密对称算法SM1等算法资源。其中,生成的RSA私钥可以得到有效地保护和存储,私钥加密用作数字签名,对应的RSA公钥用于对数字签名的验签;SM1算法用于加密通信,对报文进行加解密处理,实现信息的安全防护。测试结果及试点情况表明这种设计方案具有实际的应用价值和良好的使用效果。     

智能终端网络安全防护设计

近年来,随着GPRS/3G/WiFi等无线通信技术的发展,越来越多的采集终端开始采用无线通信方式进行信息的传输,在满足智能化、互动化需求的同时,也带来了相应的安全问题。本文通过分析无线传输存在的一些安全隐患,结合智能终端的应用环境及特点,设计一种经济、适用的智能终端安全防护方案。