Using Common Criteria Methodology to Express Informal Security Requirements. - Thuy D. Nguyen; Cynthia E. Irvine; Douglas R. Kane Jr. (ISSSE, 2006)