Security policy in system-on-chip designs specification, implementation and verification - Ray, Sandip; Basak, Abhishek; Bhunia, Swarup (Springer International Publishing, 2019)