Security of Industrial Control Systems and Cyber-Physical Systems

QRコード

Security of Industrial Control Systems and Cyber-Physical Systems

保存先:

書誌詳細
主要な著者:	Cuppens-Boulahia, Nora, Lambrinoudakis, Costas, Cuppens, Frédéric, Katsikas, Sokratis
フォーマット:	図書
言語:	English
出版事項:	Springer International Publishing 2020
主題:	Computer Science Logics and Meanings of Programs Computer Systems Organization and Communication Networks
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83383
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Computer Security
著者:: Katsikas, Sokratis K., 等
出版事項: (2020)

Cyber-Physical Systems of Systems
著者:: Bondavalli, Andrea, 等
出版事項: (2020)

Risks and Security of Internet and Systems
著者:: Kallel, Slim, 等
出版事項: (2020)

Machine Learning for Cyber Physical Systems
著者:: Beyerer, Jürgen, 等
出版事項: (2020)

Machine Learning for Cyber Physical Systems
著者:: Beyerer, Jürgen, 等
出版事項: (2020)

Computer Security
著者:: Katsikas, Sokratis, 等
出版事項: (2020)

Computer Safety, Reliability, and Security
著者:: Gallina, Barbara, 等
出版事項: (2020)

Multilayer Control of Networked Cyber-Physical Systems
著者:: Manfredi, Sabato
出版事項: (2020)

Security-Aware Design for Cyber-Physical Systems
著者:: Lin, Chung-Wei, 等
出版事項: (2020)

Cyber Security for Cyber Physical Systems
著者:: Ali, Saqib, 等
出版事項: (2020)

Adaptive Autonomous Secure Cyber Systems
著者:: Jajodia, Sushil, 等
出版事項: (2020)

Logical Foundations of Cyber-Physical Systems
著者:: Platzer, André
出版事項: (2020)

Networked Predictive Control of Systems with Communication Constraints and Cyber Attacks
著者:: Pang, Zhong-Hua, 等
出版事項: (2019)

Perspectives of Systems Informatics
著者:: Voronkov, Andrei, 等
出版事項: (2020)

MAC Protocols for Cyber-Physical Systems
著者:: Xia, Feng, 等
出版事項: (2015)

Risks and Security of Internet and Systems
著者:: Cuppens, Frédéric, 等
出版事項: (2020)

Foundations and Practice of Security. 1st ed. 2017
著者:: Cuppens, Frédéric, 等
出版事項: (2020)

A Practical Theory of Reactive Systems
出版事項: (2020)

Engineering Secure Software and Systems
著者:: Bodden, Eric, 等
出版事項: (2020)

Cyber-Physical Systems and Control
著者:: Arseniev, Dmitry G., 等
出版事項: (2020)

Software Engineering and Formal Methods
著者:: Cerone, Antonio, 等
出版事項: (2020)

Frontiers of Combining Systems
著者:: Dixon, Clare, 等
出版事項: (2020)

Cyber Physical Systems. Design, Modeling, and Evaluation
著者:: Berger, Christian, 等
出版事項: (2020)

Quantitative Evaluation of Systems
著者:: McIver, Annabelle, 等
出版事項: (2020)

Perspectives of System Informatics
著者:: Petrenko, Alexander K., 等
出版事項: (2020)

Perspectives of System Informatics
著者:: Bjørner, Nikolaj, 等
出版事項: (2020)

Software Engineering for Resilient Systems
著者:: Romanovsky, Alexander, 等
出版事項: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
著者:: Vojnar, Tomáš, 等
出版事項: (2020)

Formal Methods in Software and Systems Modeling
出版事項: (2020)

Advances in Computer Science - ASIAN 2007. Computer and Network Security
著者:: Cervesato, Iliano
出版事項: (2020)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
著者:: Okada, Mitsu, 等
出版事項: (2020)

Model-Based Testing of Reactive Systems
出版事項: (2020)

Formal Modeling and Analysis of Timed Systems
著者:: Raskin, Jean-Francois, 等
出版事項: (2020)

Formal Modeling and Analysis of Timed Systems
著者:: Pettersson, Paul, 等
出版事項: (2020)

Formal Techniques for Safety-Critical Systems
著者:: Artho, Cyrille, 等
出版事項: (2020)

Descriptional Complexity of Formal Systems
著者:: Konstantinidis, Stavros, 等
出版事項: (2020)

PRIMA 2017: Principles and Practice of Multi-Agent Systems
著者:: An, Bo, 等
出版事項: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
著者:: Bouajjani, Ahmed, 等
出版事項: (2020)

Risks and Security of Internet and Systems
著者:: Cuppens, Nora, 等
出版事項: (2020)

Concurrency, Security, and Puzzles
著者:: Gibson-Robinson, Thomas, 等
出版事項: (2020)