Protection Profiles survey for smart cards and similar devices