Solving Boolean polynomial systems by parallelizing characteristic set method for cyber‐physical systems-Reference-Cited by-同舟云学术

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

Published:2020-09-23 Issue:11 Volume:51 Page:2143-2167
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw Pract Exper

Author:

Zhao Juan¹²^ORCID,Zhu Min¹²,Li Xiaoyong¹²,Huang Zhenyu³,Li Jincai¹,Song Junqiang¹²

Affiliation:

1. College of Meteorology and Oceanography National University of Defense Technology Changsha China

2. College of Computer Science and Technology National University of Defense Technology Changsha China

3. SKLOIS, Institute of Information Engineering Chinese Academy of Sciences Beijing China

Funder

National Key Research and Development Program of China

National Natural Science Foundation of China

Publisher

Wiley

Subject

Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.2895

Reference48 articles.

1. PasqualettiF DörflerF BulloF. Cyber‐physical attacks in power networks: models fundamental limitations and monitor design. Paper presented at: Proceedings of the 2011 50th IEEE Conference on Decision and Control and European Control Conference Orlando FL USA 2011;2:195‐2201; IEEE.

2. Al FaruqueMA ChhetriSR CanedoA WanJ. Acoustic side‐channel attacks on additive manufacturing systems. Paper presented at: Proceedings of the 2016 ACM/IEEE 7th international conference on Cyber‐Physical Systems (ICCPS) Vienna Austria;2016:1‐10; IEEE.

3. The analysis of traffic control cyber‐physical systems;Jianjun S;Proc‐Soc Behav Sci,2013

4. WangEK YeY XuX YiuSM HuiLCK ChowKP. Security issues and challenges for cyber physical system. Paper presented at: Proceedings of the 2010 IEEE/ACM International Conference on Green Computing and Communications & International Conference on Cyber Physical and Social Computing Hangshou Zhejiang Province China;2010:733–738; IEEE.

5. Attack Detection and Identification in Cyber-Physical Systems

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enabling continuous deployment techniques for quantum services;Software: Practice and Experience;2024-03-06

2. Towards Quantum Requirements Engineering;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09

3. Technological diversity of quantum computing providers: a comparative study and a proposal for API Gateway integration;Software Quality Journal;2023-05-22

4. Reverse Engineering of Hamiltonian Expressions from D-Wave programs;2022 IEEE International Conference on Quantum Software (QSW);2022-07

5. A Graph-Based Healthcare System for Quantum Simulation of Medication Administration in the Aging People;Lecture Notes in Bioengineering;2022