Aditya P. Mathur. Challenges in Testing the Design of Secure Complex Critical Public Infrastructure. In 40th IEEE Annual Computer Software and Applications Conference, COMPSAC Workshops 2016, Atlanta, GA, USA, June 10-14, 2016. pages 45, IEEE, 2016. [doi]
Abstract is missing.