Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures. - Mark Nelson 004; Peter-Michael Seidel (MTV, 2015)

Modeling and Analysis of Secure Processor Extensions Based on Actor Networks. - Mark Nelson 004; Peter-Michael Seidel (MTV, 2017)