Automated secure computing for next-generation systems - Tyagi, Amit Kumar. (John Wiley & Sons, Inc.,)