Financial transaction cards. Security architecture of financial transaction systems using integrated circuit cards - Secure application modules