Robust Verification Tools for Improved Secure System Evaluation Download Tags: HCSS 2006 Rockwell Collins Presentation Industry HCSS '06 License: CC-2.5 Submitted by Timothy Thimmesch on Tue, 08/23/2011 - 09:27