Solving Boolean polynomial systems by parallelizing characteristic set method for cyber‐physical systems

Abstract

Summary Many cyber‐attach schemes and coding models established by algebra tools are build to address the problem of security of cyber‐pysical systems (CPS). As an important field of algebra computing, Boolean Polynomial System Solving (PoSSo) problem plays a very important role in many algebra applications. In this article, we propose an efficient Parallel Boolean Characteristic Set method (PBCS) under the high‐performance computing environment to improve the efficiency of solving Boolean polynomial systems. The PBCS is implemented based on the state‐of‐the‐art Boolean Characteristic Set method (BCS). It adopts a master‐slave parallel pattern, and distributes tasks based on the polynomial sets after initial zero decomposition. We design a strategy of dynamically reallocating tasks to ameliorate load imbalance, which is caused by dynamical zero decomposition of polynomials. Furthermore, we improve its performance by optimizing the parameter settings of PBCS, including the maximum number of polynomial branches that trigger the dynamic allocation policy and the scheduling time. Experimental results with solving several Boolean polynomial systems confirm that PBCS is efficient and scalable, especially for the equations generating from stream ciphers that have block triangular structure. Moreover, the method also has good scalability. It shows a stable speedup as well even extending to the size of thousands of CPU cores.

Software and hardware co‐design for sustainable cyber‐physical systems

“…Cyberattack schemes and coding models build by algebra tools are usually used to address the security problem of CPS. The authors presented an efficient parallel Boolean characteristic set method 3 to improve the efficiency of solving Boolean polynomial system problems in CPS.…”

Exploring reliable edge‐cloud computing for service latency optimization in sustainable cyber‐physical systems

“…Cyber‐physical systems (CPS) are a kind of systems that deeply intertwine physical objects and software components through gathering smart sensing, computation, control and networking techniques 1,2 . In recent years, the advance in information technology has dynamically fueled the deployment of numerous emerging CPS applications such as autonomous automobile systems, healthcare monitoring, and process control systems.…”