Hongfei Yin, Hongjun Dai, Zhiping Jia. Verification-Based Multi-backup Firmware Architecture, an Assurance of Trusted Boot Process for the Embedded Systems. In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011. pages 1188-1195, IEEE, 2011. [doi]
Abstract is missing.