This publication provides practitioners and researchers with a comprehensive introduction to the area of trustworthy cyber physical systems (CPS) engineering. Featuring contributions from leading international experts, it contains 16 self-contained chapters that analyse the chal…
Build secure and reliable IoT applications for micro:bit and Raspberry Pi Pico by using Rust and Tock.One of the first Operating Systems written in Rust, Tock is designed to safely run multiple applications on low power devices, enabling you to build a secure foundation for IoT …
Build secure and reliable IoT applications for micro:bit and Raspberry Pi Pico by using Rust and Tock. One of the first Operating Systems written in Rust, Tock is designed to safely run multiple applications on low power devices, enabling you to build a secure foundation for IoT…
The book summarizes key concepts and theories in trusted computing, e.g., TPM, TCM, mobile modules, chain of trust, trusted software stack etc, and discusses the configuration of trusted platforms and network connections. It also emphasizes the application of such technologies i…