天地一体化信息网络2021，Vol.2Issue(3)：35-47,13.DOI:10.11959/j.issn.2096-8930.2021029
基于进程通信语义的互联安全控制安全分析和优化
Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication
摘要
关键词
形式化分析/正则表达式匹配/访问控制/并行计算分类
信息技术与安全科学引用本文复制引用
卢波,陆月明..基于进程通信语义的互联安全控制安全分析和优化[J].天地一体化信息网络,2021,2(3):35-47,13.基金项目
国家重点研发计划资助(No.2016YFB0800302) （No.2016YFB0800302）
