Introduces the theoretical foundations and solution techniques for securing critical cyber and physical infrastructures and their underlying computing and communication architectures and systems. This book addresses the technical challenges facing design of secure infrastructures by providing examples of internal and external attack scenarios.