Certified Security by Design for the Internet of Things

Incorporating security into the design of components used in the Internet of Things (IoT) is essential for securing the operations of the IoT and the cyber-physical infrastructure upon which society depends. To learn and draw inspiration from the past, this chapter looks at the 1970s and 1980s when the challenges of designing and implementing very large-scale integrated (VLSI) circuits were encountered and overcome. The chapter defines the syntax, semantics, and inference rules for an access-control logic used to reason about command and control (C2). Cryptographic operations are an integral part of protecting integrity and confidentiality. The chapter also provides algebraic models in higher-order logic (HOL) theorem of idealized cryptographic operations. The chapter describes the objectives of certified security by design (CSBD), provides a simple motivating application as context, and states the critical requirements that must be satisfied to make CSBD a reality.