Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication
Facing the demand of multi-domain security control in the integrated network of air and ground, to solve the problem that singleprocess regular matching restricts the performance of interconnected security gateway, the method of high-performance optimization of interconnected security control based...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Post&Telecom Press Co.,LTD
2021-09-01
|
| Series: | 天地一体化信息网络 |
| Subjects: | |
| Online Access: | http://www.j-sigin.com.cn/zh/article/doi/10.11959/j.issn.2096-8930.2021029/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841534029415841792 |
|---|---|
| author | Bo LU Yueming LU |
| author_facet | Bo LU Yueming LU |
| author_sort | Bo LU |
| collection | DOAJ |
| description | Facing the demand of multi-domain security control in the integrated network of air and ground, to solve the problem that singleprocess regular matching restricts the performance of interconnected security gateway, the method of high-performance optimization of interconnected security control based on semantic security analysis of process communication was proposed.The interaction model of master-slave processes was described in a parallel programming language in the method.The state transition system semantics were given to accurately express the combined semantics of the master-slave processes.The security of master-slave processes in combinatorial semantics was analyzed, which ensured that the parallel running of processes had no deadlock and starvation, and was equivalent to the original regular matching.Experimental results showed that the proposed method could give full play to the advantages of multi-core hardware and reduced the context switching overhead of the scheduler.In the case of complex regular expressions, the method was an order of magnitude better than single-core running. |
| format | Article |
| id | doaj-art-c11d3f84447c45598686984d5c7fd573 |
| institution | Kabale University |
| issn | 2096-8930 |
| language | zho |
| publishDate | 2021-09-01 |
| publisher | Post&Telecom Press Co.,LTD |
| record_format | Article |
| series | 天地一体化信息网络 |
| spelling | doaj-art-c11d3f84447c45598686984d5c7fd5732025-01-15T02:47:48ZzhoPost&Telecom Press Co.,LTD天地一体化信息网络2096-89302021-09-012354759527952Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process CommunicationBo LUYueming LUFacing the demand of multi-domain security control in the integrated network of air and ground, to solve the problem that singleprocess regular matching restricts the performance of interconnected security gateway, the method of high-performance optimization of interconnected security control based on semantic security analysis of process communication was proposed.The interaction model of master-slave processes was described in a parallel programming language in the method.The state transition system semantics were given to accurately express the combined semantics of the master-slave processes.The security of master-slave processes in combinatorial semantics was analyzed, which ensured that the parallel running of processes had no deadlock and starvation, and was equivalent to the original regular matching.Experimental results showed that the proposed method could give full play to the advantages of multi-core hardware and reduced the context switching overhead of the scheduler.In the case of complex regular expressions, the method was an order of magnitude better than single-core running.http://www.j-sigin.com.cn/zh/article/doi/10.11959/j.issn.2096-8930.2021029/formal analysisregular expression matchingaccess controlparallel computing |
| spellingShingle | Bo LU Yueming LU Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication 天地一体化信息网络 formal analysis regular expression matching access control parallel computing |
| title | Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication |
| title_full | Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication |
| title_fullStr | Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication |
| title_full_unstemmed | Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication |
| title_short | Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication |
| title_sort | optimization and security analysis of interconnected security control based on semantic of process communication |
| topic | formal analysis regular expression matching access control parallel computing |
| url | http://www.j-sigin.com.cn/zh/article/doi/10.11959/j.issn.2096-8930.2021029/ |
| work_keys_str_mv | AT bolu optimizationandsecurityanalysisofinterconnectedsecuritycontrolbasedonsemanticofprocesscommunication AT yueminglu optimizationandsecurityanalysisofinterconnectedsecuritycontrolbasedonsemanticofprocesscommunication |