Formal Analysis and Design for Engineering Security (FADES) Publication Type: Thesis Authors: Riham Hassan Abdel-Moneim Mansour Source: Virginia Polytechnic Institute and State University, Volume PhD Dissertation, Blacksburg, VA (2009)
