文献类型：期刊文章

作　　者：卢波[1] 陆月明[1]

LU Bo;LU Yueming(Key Laboratory of Trustworthy Distributed Computing and Service,Ministry of Education,School of Cyber Security,Beijing University of Posts and Telecommunications,Beijing 100876,China)

机构地区：[1]北京邮电大学网络空间安全学院,可信分布式计算与服务教育部重点实验室,北京100876

出　　处：《天地一体化信息网络》

基　　金：国家重点研发计划资助(No.2016YFB0800302)。

年　　份：2021

卷　　号：2

期　　号：3

起止页码：35-47

语　　种：中文

收录情况：普通刊

摘　　要：面对天地一体化信息网络多域安全控制需求,针对单进程正则匹配的方式制约了互联安全网关的性能问题,提出基于进程通信语义安全分析的互联安全控制高性能优化方法。该方法采用以进程概念为中心的并行程序设计语言描述主从进程的交互模型,通过赋予状态转移系统语义,实现主从进程的组合语义精确的表达。通过形式化语义分析,该方法具有运行无死锁、饥饿,且等价于原有正则匹配的语义安全性。实验结果表明,该方法能够充分发挥多核硬件优势,使用进程绑定CPU方式,减少操作系统调度器的上下文切换开销,在复杂正则表达式情形下,比单核运行提高一个数量级。

关 键 词：形式化分析 正则表达式匹配 访问控制 并行计算

分 类 号：TN918.91]