Mark Nelson, Peter-Michael Seidel. Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures. In 16th International Workshop on Microprocessor and SOC Test and Verification, MTV 2015, Austin, TX, USA, December 3-4, 2015. pages 54-59, IEEE, 2015. [doi]
Abstract is missing.