Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

Handbook of Large-Scale Distributed Computing in Smart Healthcare

Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools

Privately and Publicly Verifiable Computing Techniques A Survey

Trusted Computing and Information Security 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Software Fault Detection and Correction: Modeling and Applications

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

The Hardware Trojan War Attacks, Myths, and Defenses

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example