Security Assurance for System-on-Chip Designs With Untrusted IPs
Security Policies and Security Models