ACM Transactions on Embedded Computing Systems · 2008 · 43 citations · 11 references
ComputingComputer EngineeringComputer ScienceComputer SecurityHardware SecuritySystem-on-chip DesignAccess ControlKernel DesignMicroarchitectural SecuritySecure BootSystem CallsSystem SecurityDynamic Access ControlHardware Security ArchitectureKernel SecurityKernel-level Security ControlsSecure CommunicationsSecure Embedded System DesignSecurity HardwareSeparation Mechanisms
We propose a secure platform on a chip multiprocessor, FIDES, in order to enable next generation mobile terminals to execute downloaded native applications for Linux. Its most important feature is the higher security based on multigrained separation mechanisms. Four new technologies support the FIDES platform: bus filter logic, XIP kernels, policy separation, and dynamic access control. With these technologies, the FIDES platform can tolerate both application-level and kernel-level bugs on an actual download subsystem. Thus, the best-suited platform to secure next generation mobile terminals is FIDES.
11
Improving security using extensible lightweight static analysis
David Evans, David Larochelle · IEEE Software · 2002 · 470 citations