Edward Jung, Chih-Cheng Hung, Guangzhi Ma, Seonho Choi. The investigation of the structural properties of machines for the design of secure and trustworthy systems. In Rex E. Gantenbein, Tei-Wei Kuo, editors, Research in Applied Computation Symposium, RACS '11, Miami, FL, USA, October 19-22, 2011. pages 261-265, ACM, 2011. [doi]
Abstract is missing.