Manuel Rodriguez, Kevin A. Kwiat, Charles A. Kamhoua. Modeling fault tolerant architectures with design diversity for secure systems. In Qinqing Zhang, Jerry Brand, Tom MacDonald, Bharat T. Doshi, Bonnie L. Gorsic, editors, 34th IEEE Military Communications Conference, MILCOM 2015, Tampa, FL, USA, October 26-28, 2015. pages 1254-1263, IEEE, 2015. [doi]
Abstract is missing.