Cybersecurity of Discrete Event Systems
Cybersecurity of Discrete Event Systems

Author: Rong Su

Publisher: CRC Press

Published: 2024-09-05

Total Pages: 283

ISBN-13: 1040031323

DOWNLOAD EBOOK

This book describes analysis and control against smart cyberattacks in discrete event systems (DES). This is the first technical DES book to provide a thorough introduction to smart cyberattacks on supervisory control systems modelled by regular languages or finite-state automata and possible resilient defence methods against smart cyberattacks. "Smart attacks" cannot be detected by the supervisor until an irreversible process toward ensured damage occurs. An attack may be conducted either in the observation channel (i.e., the supervisor’s input of the supervisor) or in the command channel (i.e., the supervisor’s output) or both simultaneously. Therefore, defence strategies against these attacks are urgently needed. Rong Su provides a comprehensive overview of the latest theories and includes empirical examples to illustrate concepts and methods. By centering on what information is available and how such information is used, the readers are provided with methods to evaluate the cyber vulnerability of a given system and design a resilient supervisor against relevant smart attacks. This book comprises two sections. Firstly, Su introduces the required concepts and techniques related to DES and supervisory control. Then he introduces different types of smart attacks that intercept and manipulate information in sensor and command channels in a standard closed-loop control system. Secondly, he presents resilient defence strategies against relevant types of attacks. By focusing on a conceptual introduction and systematic analysis, this book provides a solid theoretical foundation for future exploration by researchers and graduate students who are interested in cybersecurity research, not necessarily limited to those in the DES community. To illustrate the practical relevance of this research, realistic examples are used throughout this book. Readers are recommended to have a background in formal language theory.

Cyber Security for Discrete Event Systems
Cyber Security for Discrete Event Systems

Author: Raphael Fritz

Publisher: Logos Verlag Berlin GmbH

Published: 2024-03-25

Total Pages: 200

ISBN-13: 3832582754

DOWNLOAD EBOOK

Cyber-physical systems are a crucial part of modern automation applications. These systems are widespread across the production industry and critical infrastructures where a high degree of security, reliability and availability is required. This work investigates possible defense mechanisms against attacks on cyber-physical systems modeled by networked discrete event systems. Based on a threat assessment, attack prevention, attack detection and localization, and attack recovery methods are proposed. The cyber attacks under consideration are stealthy attacks that actively hide their influence and are not detectable by conventional anomaly detection schemes. The attack prevention is based on a controller encryption scheme exploiting the use of homomorphic encryption. The attack detection and localization are realized by introducing unexpected behavior into the transmitted signals and analyzing the timing behavior. The attack recovery reconfigures the controller based on the information gained from the attack localization and Monte-Carlo Tree Search.

Supervisory Control of Discrete-Event Systems
Supervisory Control of Discrete-Event Systems

Author: W. Murray Wonham

Publisher: Springer

Published: 2018-08-17

Total Pages: 504

ISBN-13: 3319774522

DOWNLOAD EBOOK

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems

Author: Moamar Sayed-Mouchaweh

Publisher: Springer

Published: 2018-03-08

Total Pages: 330

ISBN-13: 3319749625

DOWNLOAD EBOOK

Cyber-physical systems (CPS) are characterized as a combination of physical (physical plant, process, network) and cyber (software, algorithm, computation) components whose operations are monitored, controlled, coordinated, and integrated by a computing and communicating core. The interaction between both physical and cyber components requires tools allowing analyzing and modeling both the discrete and continuous dynamics. Therefore, many CPS can be modeled as hybrid dynamic systems in order to take into account both discrete and continuous behaviors as well as the interactions between them. Guaranteeing the security and safety of CPS is a challenging task because of the inherent interconnected and heterogeneous combination of behaviors (cyber/physical, discrete/continuous) in these systems. This book presents recent and advanced approaches and tech-niques that address the complex problem of analyzing the diagnosability property of cyber physical systems and ensuring their security and safety against faults and attacks. The CPS are modeled as hybrid dynamic systems using different model-based and data-driven approaches in different application domains (electric transmission networks, wireless communication networks, intrusions in industrial control systems, intrusions in production systems, wind farms etc.). These approaches handle the problem of ensuring the security of CPS in presence of attacks and verifying their diagnosability in presence of different kinds of uncertainty (uncertainty related to the event occurrences, to their order of occurrence, to their value etc.).

Computational Intelligence for Cybersecurity Management and Applications
Computational Intelligence for Cybersecurity Management and Applications

Author: Yassine Maleh

Publisher: CRC Press

Published: 2023-04-28

Total Pages: 249

ISBN-13: 1000853349

DOWNLOAD EBOOK

As cyberattacks continue to grow in complexity and number, computational intelligence is helping under-resourced security analysts stay one step ahead of threats. Drawing on threat intelligence from millions of studies, blogs, and news articles, computational intelligence techniques such as machine learning and automatic natural language processing quickly provide the means to identify real threats and dramatically reduce response times. The book collects and reports on recent high-quality research addressing different cybersecurity challenges. It: explores the newest developments in the use of computational intelligence and AI for cybersecurity applications provides several case studies related to computational intelligence techniques for cybersecurity in a wide range of applications (smart health care, blockchain, cyber-physical system, etc.) integrates theoretical and practical aspects of computational intelligence for cybersecurity so that any reader, from novice to expert, may understand the book’s explanations of key topics. It offers comprehensive coverage of the essential topics, including: machine learning and deep learning for cybersecurity blockchain for cybersecurity and privacy security engineering for cyber-physical systems AI and data analytics techniques for cybersecurity in smart systems trust in digital systems This book discusses the current state-of-the-art and practical solutions for the following cybersecurity and privacy issues using artificial intelligence techniques and cutting-edge technology. Readers interested in learning more about computational intelligence techniques for cybersecurity applications and management will find this book invaluable. They will get insight into potential avenues for future study on these topics and be able to prioritize their efforts better.

Cyber Defence in Industry 4.0 Systems and Related Logistics and IT Infrastructures
Cyber Defence in Industry 4.0 Systems and Related Logistics and IT Infrastructures

Author: K. Dimitrov

Publisher: IOS Press

Published: 2018-09-14

Total Pages: 166

ISBN-13: 1614998884

DOWNLOAD EBOOK

Industry and government are increasingly reliant on an intelligent – or ‘smart’ – and interconnected computer infrastructure, but the reality is that it is extremely difficult to provide full cyber defense and/or intrusion prevention for the smart networks that connect intelligent industrial and logistics modules, since the more intelligent the systems are, the more vulnerable they become. This book presents papers from the NATO Advanced Research Workshop (ARW) on Cyber Defence in Industry 4.0 Systems and Related Logistics and IT Infrastructures, held in Jyvaskyla, Finland, in October 2017. The main focus of the 11 papers included here is the creation and implementation of cyber systems and cyber platforms capable of providing enhanced cyber security and interoperability for smart IT infrastructure. Topics covered include: smart intrusion prevention; adaptive cyber defense; smart recovery of systems; and the smart monitoring, control and management of Industry 4.0 complexes and related logistics systems such as robotic equipment, logistics modules, units and technologic equipment, as well as their IT infrastructure.

Handbook of Research of Internet of Things and Cyber-Physical Systems
Handbook of Research of Internet of Things and Cyber-Physical Systems

Author: Amit Kumar Tyagi

Publisher: CRC Press

Published: 2022-06-08

Total Pages: 681

ISBN-13: 1000565343

DOWNLOAD EBOOK

This new volume discusses how integrating IoT devices and cyber-physical systems can help society by providing multiple efficient and affordable services to users. It covers the various applications of IoT-based cyber-physical systems, such as satellite imaging in relation to climate change, industrial control systems, e-healthcare applications, security uses, automotive and traffic monitoring and control, urban smart city planning, and more. The authors also outline the methods, tools, and algorithms for IoT-based cyber-physical systems and explore the integration of machine learning, blockchain, and Internet of Things-based cloud applications. With the continuous emerging new technologies and trends in IoT technology and CPS, this volume will be a helpful resource for scientists, researchers, industry professionals, faculty and students, and others who wish to keep abreast of new developments and new challenges for sustainable development in Industry 4.0.

Discrete Event Simulations
Discrete Event Simulations

Author: Aitor Goti

Publisher: BoD – Books on Demand

Published: 2010-08-18

Total Pages: 342

ISBN-13: 953307115X

DOWNLOAD EBOOK

Considered by many authors as a technique for modelling stochastic, dynamic and discretely evolving systems, this technique has gained widespread acceptance among the practitioners who want to represent and improve complex systems. Since DES is a technique applied in incredibly different areas, this book reflects many different points of view about DES, thus, all authors describe how it is understood and applied within their context of work, providing an extensive understanding of what DES is. It can be said that the name of the book itself reflects the plurality that these points of view represent. The book embraces a number of topics covering theory, methods and applications to a wide range of sectors and problem areas that have been categorised into five groups. As well as the previously explained variety of points of view concerning DES, there is one additional thing to remark about this book: its richness when talking about actual data or actual data based analysis. When most academic areas are lacking application cases, roughly the half part of the chapters included in this book deal with actual problems or at least are based on actual data. Thus, the editor firmly believes that this book will be interesting for both beginners and practitioners in the area of DES.

Discrete-Event Simulation
Discrete-Event Simulation

Author: George S. Fishman

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 554

ISBN-13: 1475735529

DOWNLOAD EBOOK

"This is an excellent and well-written text on discrete event simulation with a focus on applications in Operations Research. There is substantial attention to programming, output analysis, pseudo-random number generation and modelling and these sections are quite thorough. Methods are provided for generating pseudo-random numbers (including combining such streams) and for generating random numbers from most standard statistical distributions." --ISI Short Book Reviews, 22:2, August 2002

Guide to Cybersecurity in Digital Transformation
Guide to Cybersecurity in Digital Transformation

Author: Dietmar P.F. Möller

Publisher: Springer Nature

Published: 2023-04-18

Total Pages: 432

ISBN-13: 3031268458

DOWNLOAD EBOOK

In today’s digital transformation environments, a rigorous cybersecurity approach to effective risk management — including contingency planning, outlining immediate actions, preparing post-breach responses — is central to defending organizations’ interconnected computer systems, networks, and infrastructure resources from malicious cyber-attacks. Specifically, cybersecurity technologies, processes, and practices need to be generalized and applied to intrusion detection and prevention measures. This entails analyzing profiles of cyber-attackers and building cyber-attack models for behavior simulation that can effectively counter such attacks. This comprehensive volume aims to cover all essential aspects of cybersecurity in digital transformation and to provide a framework for considering the many objectives and requirements involved. In addition to introducing theoretical foundations, the work also offers practical techniques for defending against malicious cybercriminals. Topics and features: Explores cybersecurity’s impact on the dynamics of interconnected, complex cyber- and physical systems, infrastructure resources, and networks Provides numerous examples of applications and best practices Considers methods that organizations can use to assess their cybersecurity awareness and/or strategy Describes anomaly intrusion detection, a key tool in thwarting both malware and theft (whether by insiders or external parties) of corporate data Addresses cyber-attacker profiles, cyber-attack models and simulation, cybersecurity ontology, access-control mechanisms, and policies for handling ransomware attacks Discusses the NIST Cybersecurity Framework, MITRE Adversarial Tactics, Techniques and Common Knowledge, CIS Critical Security Controls, and the ISA/IEC 62442 Cybersecurity Standard Gathering all the relevant information, this practical guide is eminently suitable as a self-study resource for engineers, scientists, computer scientists, and chief information officers. Further, with its many examples of best practices, it can serve as an excellent text for graduate-level courses and research into cybersecurity. Dietmar P. F. Möller, a retired full professor, is affiliated with the Institute for Mathematics at Clausthal University of Technology, Germany. He was an author of several other Springer titles, including Guide to Automotive Connectivity and Cybersecurity.