Secure systems development based on the common criteria: the PalME project. - Monika Vetterling; Guido Wimmel; Alexander K. Wißpeintner (SIGSOFT FSE, 2002)