Secure systems development based on the common criteria: the PalME project
security engineering - a guide to building dependable distributed systems .