Secure systems development based on the common criteria: the PalME project
A logic of authentication