Secure System Design and Trustable Computing - Chang, Chip-Hong (Springer International Publishing, 2016)