IEEE Transactions on Information Forensics and Security · 2017 · 74 citations · 34 references
ComputingComputer EngineeringComputer ScienceHardware SecuritySecurity ArchitectureSecurity PolicyBuilt-in Self-testEmbedded SecurityHardware Security VerificationHardware TrojansMicroarchitectural SecuritySecure System DesignHardware Security ArchitectureResilient ArchitectureResilient Computer ArchitectureResilient System ArchitectureRun-time MonitoringSystem-on-chip ArchitectureSystem-on-chip IntegrationTrustworthy Integrated Circuit Design
Modern system-on-chip (SoC) designs involve integration of a large number of intellectual property (IP) blocks, many of which are acquired from untrusted third-party vendors. An IP containing a security vulnerability-whether inadvertent or malicious-may compromise the trustworthiness of the entire SoC, e.g., by leaking sensitive information or causing execution failures at key points. Existing functional validation approaches, post-manufacturing tests, and IP trust verification techniques are inadequate to accomplish comprehensive system-level security assurance in the presence of untrusted IPs. In this paper, we analyze security issues at the SoC level caused by untrusted IPs. We also propose a novel, resilient SoC security architecture to ensure trusted SoC operation with untrusted IPs. Our architecture realizes fine-grained IP-trust aware security policies in an efficient security policy checker that enables run-time monitoring of security issues arising from untrusted IPs. It also exploits on-chip design-for-debug architecture to ensure trusted information flow from IP blocks to the security policy checker. Unlike existing solutions to the untrusted IP problem, which rely on verification of IP trust before they are integrated into an SoC, the proposed approach follows a fundamentally different architecture-level solution based on run-time resilience. We demonstrate the effectiveness of this framework for system protection using several illustrative practical use cases. We also provide experimental results to show that the overhead of the proposed architecture is modest on representative SoC designs.
34
Security Policies and Security Models
Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations
Recognizing safety and liveness
Bowen Alpern, Fred B. Schneider · Distributed Computing · 1987 · 552 citations
Adam Waksman, Matthew Suozzo, Simha Sethumadhavan · 2013 · 352 citations