摘要：针对工控安全形势日益严峻,工控终端在操作系统层面缺乏全面的安全防护体系,无法适应安全新局势这一问题,文章通过研究面向工控的自主可控安全操作系统关键技术,在工控安全操作系统NARIsecOS基础上,提出了内核完整性保护方案,并对部分工作进行了形式化验证。通过这一技术的研究,可以保证工控终端操作系统的安全,进而在操作系统层面使工控终端具备免疫病毒木马、抵御黑客攻击的能力。安全操作系统在工控终端上的研究应用将有助于抵御大部分的工控安全威胁。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社