The Internet of Things (IoT) is the emerging global interconnection of billions of "smart" devices. It is collecting a growing amount of private and sensitive data about our lives, and requires increasing degrees of reliability and trustworthiness in terms of the levels of assurance provided with respect to confidentiality, integrity and availability. This important book examines these important security considerations for the IoT, covering topics including federated identity management in IoT systems; security policies and access control; formal models and foundations of the IoT; verification and analysis of security properties in the IoT; secure IoT architectures, protocols and platforms; model driven security engineering of IoT systems; security-driven analytics of big IoT generated datasets; security patterns and standards for the IoT; and privacy and anonymity in IoT systems.