Paul Woodie Security Enhancement through Product Evaluation. 96-101 1983 IEEE Symposium on Security and Privacy db/conf/sp/sp1983.html#Woodie83