Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures | IEEE Conference Publication | IEEE Xplore