Security Policy in System-on-Chip Designs Specification, Implementation and Verification - Ray, Sandip; Ray, Sandip; Basak, Abhishek; Bhunia, Swarup (Springer International Publishing : Imprint: Springer, 2019)