%0 Journal Article %J Princeton University Department of Electrical Engineering Technical Report CE-L2008-013 %D 2008 %T Framework for Design Validation of Security Architectures %A Dwoskin, Jeffrey %A Gomathisankaran, Mahadevan %A Lee, Ruby %U http://palms.ee.princeton.edu/PALMSopen/techreports/Dwoskin2008TestingFramework.pdf %8 November 2008