【摘 要】
：
针对工控安全形势日益严峻,工控终端在操作系统层面缺乏全面的安全防护体系,无法适应安全新局势这一问题,文章通过研究面向工控的自主可控安全操作系统关键技术,在工控安全操
【机 构】
：
南京南瑞集团公司信息通信技术分公司,南京大学
论文部分内容阅读
针对工控安全形势日益严峻,工控终端在操作系统层面缺乏全面的安全防护体系,无法适应安全新局势这一问题,文章通过研究面向工控的自主可控安全操作系统关键技术,在工控安全操作系统NARIsecOS基础上,提出了内核完整性保护方案,并对部分工作进行了形式化验证。通过这一技术的研究,可以保证工控终端操作系统的安全,进而在操作系统层面使工控终端具备免疫病毒木马、抵御黑客攻击的能力。安全操作系统在工控终端上的研究应用将有助于抵御大部分的工控安全威胁。
其他文献
采用分布式计算体系架构与远程诊断软件将协同应用拓展服务器、数据中心、现场设备和远程专家等关联在一起,可为电力系统运维管理人员提供分布式远程诊断和决策的技术支持。
全球变暖给人类带来了巨大挑战，而野生动物也同样要设法应对不断上升的气温。科学家研究发现，北美的一些野生动物在挣扎求存，试图适应这一气候变化，但不幸的是，它们最终可能还是难
互联网上的虚假事实陈述严重影响人们有效地获取信息,如何判定事实陈述是否可信成为一个亟待解决的问题.文中提出了一种针对事实陈述的可信判定模型MFSV.该模型针对事实陈述
风电的大力发展,使得风电现场多套监控系统并存,通信协议不统一的问题日益突出。文章中设计的基于国际风电标准IEC 61400-25的风电远程集中控制系统可以对风电场不同厂家的通
传统的分析器生成器多采用LALR（1）、LL（1）等确定性分析方法．近年来，随着软件再（逆向）工程的发展，GLR等非确定性的分析方法逐渐应用到分析器生成器中，但目前尚未有公开发表的文献提出并
2016年9月22日,中国电力科学研究院牵头承担的中韩国际科技合作专项项目＂基于物联网技术的智能电网基础信息的标识采集技术研究＂通过国家科技部验收。该项目通过对基于RFID的智
在电力通信运维中,通信电源参数设置不准确、不精细,维护不到位,会导致通信设备的供电质量、安全可靠性及其寿命下降,给通信设备正常运行带来极大隐患和经济损失。文章根据现