0 Jeffrey S. Dwoskin Mahadevan Gomathisankaran Ruby B. Lee 2008 Framework for Design Validation of Security Architectures Princeton University Department of Electrical Engineering Technical Report CE-L2008-013 November 2008 http://palms.ee.princeton.edu/PALMSopen/techreports/Dwoskin2008TestingFramework.pdf