An Approach to Security Requirements Engineering for a High Assurance System. - Cynthia E. Irvine; Timothy E. Levin; Jeffery D. Wilson; David J. Shifflett; Barbara Pereira (Requir. Eng., 2002)