@article { ,
	title = {Framework for Design Validation of Security Architectures},
	journal = {Princeton University Department of Electrical Engineering Technical Report CE-L2008-013},
	year = {2008},
	month = {November 2008},
	URL = {http://palms.ee.princeton.edu/PALMSopen/techreports/Dwoskin2008TestingFramework.pdf},
	author = {Jeffrey S. Dwoskin and Mahadevan Gomathisankaran and Ruby B. Lee}
}