Aladdin eToken PRO (Java) and Aladdin eToken PRO (Java) SC
Security Policy
Aladdin Public Material
Version 1.5
Page 29 of 39
© Aladdin Knowledge Systems, Ltd., 2009
Operating system release date
2
`7130' Firmware Version Part 1
Operating system release level 2
`0207' Firmware Version Part 2
Or:
Data Element
Length Value
Version
IC type
2
`0106' Atmel AT90SC25672RCT-USB
Revision D
Operating system release date
2
`8015' Firmware Version Part 1
Operating system release level 2
`0508' Firmware Version Part 2
2. The Aladdin eToken FIPS 140-2 Approved Mode Indicator application is provided with the CM and
must be run. It selects the Aladdin eToken Applet and checks:
Validity of attributes and access conditions of the ESO Key Set (if it exists).
Presence, validity of attributes and access conditions of the CH Key Set.
Validity of attributes and access conditions of the File System Re-initialization Key Set (if
it exists).
Validity of attributes and access conditions of any CH RSA Key Pairs (if any exist), i.e.
protection by the CH Role directly or via the Secondary Authentication Secret (if it exists).
Validity of attributes and access conditions of the Secondary Authentication Secret (if it
exists), i.e. protection by the CH Role.
The full sequence of checks (including exact organization of the directory layout) is presented
in [EJCA] Section 4.2 Validation.