Samsung Kernel Crypto API Cryptographic Module v1.2 FIPS 140-2 Security Policy version 2.2 Last Update: 2011-11-16 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 1. Introduction ..................................................................................................................................... 4 1.1. Purpose of the Security Policy .......................................................................................... 4 1.2. Target Audience ..................................................................................................................... 4 2. Cryptographic Module Specification ...................................................................................... 4 2.1. Description of Module .......................................................................................................... 4 2.2. Description of Approved Mode ......................................................................................... 5 2.3. Cryptographic Module Boundary ..................................................................................... 6 2.3.1. Software Block Diagram ............................................................................................ 6 2.3.2. Hardware Block Diagram ........................................................................................... 7 3. Cryptographic Module Ports and Interfaces ...................................................................... 10 4. Roles, Services and Authentication .......................................................................................11 4.1. Roles ..........................................................................................................................................11 4.2. Services ....................................................................................................................................11 4.3. Operator Authentication ................................................................................................... 13 4.4. Mechanism and Strength of Authentication .............................................................. 13 5. Finite State Machine ................................................................................................................... 14 6. Physical Security.......................................................................................................................... 16 7. Operational Environment ......................................................................................................... 16 7.1. Policy ........................................................................................................................................ 16 8. Cryptographic Key Management ........................................................................................... 16 8.1. Random Number Generation .......................................................................................... 16 8.2. Key Generation ..................................................................................................................... 16 8.3. Key Entry and Output......................................................................................................... 16 8.4. Key Storage............................................................................................................................ 16 8.5. Zeroization Procedure ........................................................................................................ 16 9. Electromagnetic Interference/Electromagnetic Compatibility (EMI/EMC).............. 17 10. Self Tests ...................................................................................................................................... 18 10.1. Power-Up Tests ................................................................................................................... 19 10.2. Integrity Check................................................................................................................... 19 10.3. Conditional Tests ............................................................................................................... 19 11. Design Assurance ..................................................................................................................... 20 11.1. Configuration Management .......................................................................................... 20 11.2. Delivery and Operation................................................................................................... 20 © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 2 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 12. Mitigation of Other Attacks ................................................................................................... 20 13. Glossary and Abbreviations .................................................................................................. 21 14. References ................................................................................................................................... 22 © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 3 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 1. Introduction This document is a non-proprietary FIPS 140-2 Security Policy for the Samsung Kernel Crypto API Cryptographic Module v1.2 cryptographic module. It contains a specification of the rules under which the module must operate and describes how this module meets the requirements as specified in FIPS PUB 140-2 (Federal Information Processing Standards Publication 140-2) for a Security Level 1 multi-chip standalone software module. 1.1. Purpose of the Security Policy There are three major reasons that a security policy is required:  it is required for FIPS 140-2 validation,  it allows individuals and organizations to determine whether the cryptographic module, as implemented, satisfies the stated security policy, and  it describes the capabilities, protection, and access rights provided by the cryptographic module, allowing individuals and organizations to determine whether it will meet their security requirements. 1.2. Target Audience This document is intended to be part of the package of documents that are submitted for FIPS validation. It is intended for the following people:  Developers working on the release  FIPS 140-2 testing lab  Crypto Module Validation Program (CMVP)  Consumers 2. Cryptographic Module Specification This document is the non-proprietary security policy for the Samsung Kernel Crypto API Cryptographic Module, and was prepared as part of the requirements for conformance to Federal Information Processing Standard (FIPS) 140-2, Level 1. The following section describes the module and how it complies with the FIPS 140-2 standard in each of the required areas. 2.1. Description of Module The Samsung Kernel Crypto API Cryptographic Module is a software only security level 1 cryptographic module that provides general-purpose cryptographic services to the remainder of the Linux kernel. The crypto module runs on an ARM processor. The following table shows the overview of the security level for each of the eleven sections of the validation. Security Component Security Level Cryptographic Module Specification 1 Cryptographic Module Ports and Interfaces 1 Roles, Services and Authentication 1 © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 4 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy Security Component Security Level Finite State Model 1 Physical Security N/A Operational Environment 1 Cryptographic Key Management 1 EMI/EMC 3 Self Tests 1 Design Assurance 3 Mitigation of Other Attacks N/A Table 1: Security Levels The module has been tested on the following platforms: Module/Implementation Manufacturer Model O/S & Ver. Samsung FIPS Cryptographic Samsung Galaxy S2 U1 Android Gingerbread with Linux Module for Mobile Phones kernel based on version (LK2.6.35.7_AGB_V1.2) 2.6.35.7 Samsung FIPS Cryptographic Samsung P4 LTE Android Honeycomb with Linux Module for Tablets P4 WiFi kernel based on version (LK2.6.36.3_AHC_V1.2) 2.6.36.3 Table 2: Tested Platforms 2.2. Description of Approved Mode In the Approved mode the module provides the following approved functions:  AES (CBC, ECB, Counter Mode)  SHA1, SHA-224, SHA-256, SHA-384, SHA-512  RNG (ANSI X9.31)  Triple-DES (CBC, ECB)  HMAC (with SHA1, SHA-224, SHA-256, SHA-384, SHA-512) Kernel Crypto API implements the following Non-Approved algorithms, which shall not be used in the FIPS 140-2 approved mode of operation:  DES  AES (CTS) – non-compliant  Triple-DES Counter Mode –non-compliant  Twofish  AEAD  MD5 © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 5 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy  ansi_cprng  ARC4  GHASH (GCM hash) Warning: The user of AES and Triple-DES counter mode should be aware that the counter size is 32 bit. The counter will roll over after 2^32 blocks of encrypted data. It is estimated to take seven days for AES and 33 days for Triple-DES to finish 2^32 blocks of data on an embedded device with ARM 7 as the CPU. It is the responsibility of the calling application to refresh the key before the rolling over of the counter takes place. In view of CTR RFC3686, user must be careful, as a combination of key and counter value is needed for each data block. 2.3. Cryptographic Module Boundary 2.3.1. Software Block Diagram Physical Boundary Application Kernel Crypto API Kernel Boundary Logical Boundary Figure 1: Software Block Diagram The binary image that contains the Crypto API module is as follows:  zImage (version LK2.6.35.7_AGB_V1.2) – Galaxy S2 U1  boot.img (version LK2.6.36.3_AHC_V1.2) – P4 LTE, PF WiFi Related documentation: © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 6 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy  S/W Detailed Level Design (FIPS_Crypto_Func_Design_v1.2.docx)  Samsung Kernel Crypto API Cryptographic Module v1.2 (SamsungCryptoAPI_SPv.2.2.doc) Note: The master component list is provided in Section 2.10 of S/W Detailed Level Design document. 2.3.2. Hardware Block Diagram This figure illustrates the various data, status and control paths through the cryptographic module. Inside, the physical boundary of the module, the mobile device consists of standard integrated circuits, including processors and memory. These do not include any security-relevant, semi- or custom integrated circuits or other active electronic circuit elements. The physical boundary includes power inputs and outputs, and internal power supplies. The logical boundary of the cryptographic module contains only the security-relevant software elements that comprise the module. Physical boundary Figure 2: Hardware Block Diagram © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 7 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy Figure 3: Front View of Galaxy S2 U1 Figure 4: Back View of Galaxy S2 U1 © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 8 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy Figure 5: Front View of P4 WiFi Figure 6: Back View of P4 WiFi Figure 7: Front View of P4 LTE © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 9 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy Figure 8: Back View of P4 LTE 3. Cryptographic Module Ports and Interfaces FIPS Interface Ports Data Input API input parameters Data Output API output parameters Control Input API function calls Status Output API return codes; kernel log file, /proc/sys/crypto/fips_status, the status of the module is also provided at user interface Power Input Physical power connector Table 3: Ports and Interfaces © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 10 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 4. Roles, Services and Authentication 4.1. Roles Role Services (see list below) User Encryption, Decryption, Random Numbers, Digest Creation Crypto Officer Configuration, Encryption, Decryption, Random Numbers, Initialization of Module, Digest Creation Table 4: Roles The Module meets all FIPS 140-2 level 1 requirements for Roles and Services, implementing both User and Crypto Officer roles. The Module does not allow concurrent operators. The User and Crypto Officer roles are implicitly assumed by the entity accessing services implemented by the Module. No further authentication is required. The Crypto Officer can initialize the Module. 4.2. Services Role Service CSP Modes FIPS API Calls Access Approved (Read, (Cert #) Write, Execute) User, AES 128, 192, ECB, CBC, (Cert #1732) FIPS 197 R,W, EX Crypto encryption 256 bit Counter - P4 LTE and All API functions with Officer and keys Mode P4 Wifi prefix crypto_cipher_, decryption crypto_ablkcipher_ and crypto_blkcipher_ (Cert #1733) – Galaxy S2 ablkcipher_request_se U1 t_tfm ablkcipher_request_fr ee ablkcipher_request_se t_callback ablkcipher_request_se t_crypt crypto_free_blkcipher crypto_has_blkciipher Crypto HMAC (with HMAC Key N/A (Cert #1008) All API functions with R, W, EX Officer SHA1, SHA- – P4 LTE and the prefix of cryp- to_hmac_ 224, SHA- P4 WiFi 256, SHA crypto_free_hash 384, SHA 512) (Cert #1009) – Galaxy S2 © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 11 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy Role Service CSP Modes FIPS API Calls Access Approved (Read, (Cert #) Write, Execute) U1 User, SHA-1 N/A N/A (Cert #1516) All API functions with R, W, EX Crypto – P4 LTE and prefix crypto_digest_, SHA-224 Officer PF WiFi crypto_hash_ SHA-256 crypto_free_hash, SHA-384 (Cert #1517) crypto_has_hash – Galaxy S2 SHA-512 U1 User, Triple-DES 2 Key & 3 CBC, ECB (Cert #1120) All API functions with R, W, EX Crypto Key – P4 LTE and the prefix of cryp- Officer P4 WiFi to_cipher_, cryp- to_ablkcipher_ and crypto_blkcipher_ (Cert #1121) - Galaxy S2 cryp- U1 to_free_ablkcipher crypto_has_ablkcipher ablkciph- er_request_set_tfm ablkciph- er_request_free ablkciph- er_request_set_callba ck ablkciph- er_request_set_crypt crypto_free_blkcipher crypto_has_blkcipher User, RNG Seed Key AES-128 (Cert #921) – ANSI X9.31, appendix R, W, EX Crypto P4 LTE and P4 A2.4 ANSI X9.31 Officer WiFi (Cert #922) – Galaxy S2 U1 © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 12 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy Role Service CSP Modes FIPS API Calls Access Approved (Read, (Cert #) Write, Execute) Crypto Initialization N/A N/A N/A N/A tcrypt_mod_init Officer User, Self Test N/A N/A N/A do_test, N/A Crypto do_integrity_check Officer (self test is execute automatic ally when device is booted or restarted) User, Check N/A N/A N/A Kernel log, R Crypto Status/Get /proc/sys/crypto/fips_s Officer State tatus are available to the Crypto Officer; User can check status through user interface Table 5: Services 4.3. Operator Authentication There is no operator authentication; assumption of role is implicit by action. 4.4. Mechanism and Strength of Authentication No authentication is required at security level 1; authentication is implicit by assumption of the role. © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 13 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 5. Finite State Machine The following diagram represents the states and transitions of the crypto module. States are represented by blue boxes and transitions by arrows. Power Off 0 1.2 Power On 3.2 4.1 1.1 Self Test 2.2 Error 2.1 3.1 FIPS Operational Figure 9: Crypto Module Finite State Machine Power Off: No power. The Power Off state is entered from any state when power is removed from the CryptoAPI or a controlled shutdown is performed. The only transition from the Power Off state is to the Power On state. Power On: Power is on, module is initialized. Self Test: The crypto module performs power-up self tests (consisting of software integrity test and known answer tests). If any self test fails, the system immediately transitions to the Error state. If the self test is successful, the system transitions to FIPS Operational state. FIPS 140-2 Operational State: This is the normal operational mode of the module in which FIPS 140-2 approved services and non-approved services are available (although non-approved services shall not be used in FIPS approved mode). Error State: The crypto module is in an error state due to errors during self test and conditional tests. It does not allow any cryptographic operation in this state. The error state is non-recoverable. To clear the error state, the module has to be rebooted. © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 14 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy Transition Starting Ending Reason for Control/Data Data/Status State State Transition Input Output 0 Power Off Power On Power On Environment Init No Data Output 1.1 Power On Self Test Initialization in tcrypt_mod_init( No Data Output FIPS 140-2 ) by OS due to approved mode power up 1.2 Power On Power Off Crypto module tcrypt_mod_fini No Data Output unloaded 2.1 Self Test FIPS Successful do_test, FIPS operational Operational completion of do_integrity_che mode status self tests ck /proc/sys/crypto/fi ps_status) 2.2 Self Test Error Self Test Failure do_test, FIPS operational do_integrity_che mode status ck /proc/sys/crypto/fi ps_status) 3.1 FIPS Error Conditional tests get_more_prng_ FIPS operational Operational failed bytes() OR mode status alg_test() /proc/sys/crypto/fi ps_status) 3.2 FIPS Power Off Finish crypto tcrypt_mod_fini No Data Output Operational module 4.1 Error Power Off Finish crypto tcrypt_mod_fini No Data Output module Table 6: Transitions © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 15 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 6. Physical Security The Module is comprised of software only and thus does not claim any physical security. 7. Operational Environment This module will operate in a modifiable operational environment per the FIPS 140-2 definition. 7.1. Policy The operating system shall be restricted to a single operator mode of operation (i.e., concurrent operators are explicitly excluded). The external application that makes calls to the cryptographic module is the single user of the cryptographic module, even when the application is serving multiple clients. 8. Cryptographic Key Management 8.1. Random Number Generation The Module employs an ANSI X9.31 compliant random number generator for creation of keys. Note: the RNG seed is the tuple {V key DT}, where those values are defined in ANSI X9.31 Appendix A.2.4. The calling user provides the seed and seed key, usually by obtaining bits via get_random_bytes() from the Linux-provided /dev/random pseudo-device. The caller must ensure that the seed and seed key for the DRNG is inserted into the DRNG consistent with FIPS 140-2 requirements, i.e. that they are not identical. Failure to comply with this requirement will cause the module to go into an Error state. If the caller does not use the Linux-provided PRNG for seeding, the caller must ensure sufficient unpredictability of the seed and seed key. Note: Please note that in the current implementation of the Linux kernel the approved RNG is not used for key generation. It is reserved for future use. 8.2. Key Generation The module does not provide any key generation service or perform key generation for any of its approved algorithms. Keys are passed in from clients via algorithm APIs. Seeds for key generation inputs to crypto module. 8.3. Key Entry and Output The module does not support manual key entry or key output. Keys or other CSPs can only be exchanged between the module and the calling application using appropriate API calls. 8.4. Key Storage Keys are not stored inside crypto module. A pointer to plaintext key is passed through. Intermediate key storages are immediately assigned to Zero (setkey_unaligned function in ablkcipher.c). 8.5. Zeroization Procedure Whenever CSPs are de-allocated, zeroization occurs. The de-allocation function is kzfree(). © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 16 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 9. Electromagnetic Interference/Electromagnetic Compatibility (EMI/EMC) Lab Name: PC Engineering Laboratory, Inc FCC Registration: #90864 Device Model Name FCC ID GT-I9100 A3LGTI9100 Galaxy S2 U1 P4 LTE SCH-I905 A3LSCHI905 P4 WiFi GT-P7510 A3LGTP7510 Table 7: FCC IDs Figure 10: FCC ID of Galaxy S2 U1 © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 17 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy Figure 11: FCC ID of P4 LTE Figure 12: FCC ID of P4 WiFi 10. Self Tests Self test uses the existing Crypto API tcrypt module to perform known-answer self test of algorithms. The module is configured as a built-in kernel module instead of a loadable module as is the case of Linux Crypto API. Tests of all FIPS-approved algorithms are executed. The self tests are run during early-kernel startup when built-in kernel modules are initialized. Self tests can also be invoked by the user by restarting the device. When self tests are done successfully, an indication will be shown in the settings menu. A binary integrity test will then be performed in call from tcrypt. If self test or integrity test fail, an error flag (static variable) is set, the module enters in an error state, and Crypto APIs that return cryptographic information is blocked. A kernel proc file is set to indicate if device is in FIPS 140-2 approved mode or in error state. The error state flag is used for the value of the process file /proc/sys/crypto/fips_status. Users can © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 18 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy check the module status in two ways:  From the main screen, start the Settings application. Under the Settings menu, go to “About Phone.”(“About tablet” if using P4 LTE or P4 WiFi) Status is displayed in the listings.  When device encryption is enabled, the Settings application will not be available because a password is required to show the main screen. In such cases, the error status is shown on the password screen it- self. 10.1. Power-Up Tests At module start-up, Known Answer tests are performed. These tests are automatic and do not need operator intervention. If the value calculated and the known answer does not match, the module immediately enters into FIPS_ERR state. Once the module is in FIPS_ERR state, the module becomes unusable via any interface. Cryptographic algorithm tests (Known Answer Tests):  AES encryption/decryption  Triple-DES encryption/decryption  HMAC-SHA-1, HMAC-SHA-224, HMAC-SHA-256, HMAC-SHA-384, HMAC-SHA-512  SHA-1, SHA-224, SHA-256, SHA-384, SHA-512  Random Number Generator 10.2. Integrity Check  Build Time o SHA-256- HMAC calculated on zImage (compressed kernel) file  HMAC appended to zImage file  Run Time Compressed kernel image copies itself to a different ram location o When algorithm self tests are completed, integrity test routine is called o Perform Crypto API HMAC-SHA-256 on zImage binary in ram  Read stored hmac located after zImage  If calculated and stored values do not match, set error state, FIPS_ERR  Note: Similarly, integrity check for the P4 LTE and P4 WiFi is performed on boot.img in the same manner as above. 10.3. Conditional Tests A continuous random number generator test is performed during each use of the approved RNG. If values of two consecutive random numbers match, then crypto module goes into error state. A CRNG test is also implemented for the Linux provided /dev/random RNG which is usually used by calling user for seeding the approved RNG. © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 19 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 11. Design Assurance 11.1. Configuration Management All source code is maintained in internal source code servers and the tool, Perforce, is used as code control. Release is based on the Change List number maintained by Perforce, which is auto- generated. Every check-in process creates a new change list number. Versions of controlled items include information about each version. For documentation, revision history inside the document provides the current version of the document. Version control maintains the all the previous version and the version control system automatically numbers revisions. For product versioning, a major/minor scheme is used. The Linux kernel version is included in the version. For example, LK2.6.35.7_AGB_V1.0 is a particular version. Here LK stands for Linux Kernel version and the number following that is actual linux kernel verison. AGB stands for Android Gingerbread. V1.0 stands for version major and Minor. V1.1 would represent an updated minor version. For source code, unique information is associated with each version such that source code versions can be associated with binary versions of the final product. 11.2. Delivery and Operation The Crypto module is never released as Source code. The module sources are stored and maintained at a secure development facility with controlled access. This crypto module is built-in along with the Linux Kernel. Product that does not need FIPS 140-2 certified cryptographic module may decide to change the build flag CONFIG_CRYPTO_FIPS in Kernel config. The development team and the manufacturing factory share a secured internal server for exchanging binary software images. The factory is also a secure site with strict access control to the manufacturing facilities. The module binary is installed on the mobile devices (phone and tablets) using direct binary image installation at the factory. The mobile devices are then delivered to mobile service operators. Users cannot install or modify the module. The developer also has the capability to deliver software updates to service operators who in turn can update end-user phones and tablets using Over-The-Air (OTA) updates. Alternatively, the users may bring their mobile devices to service stations where authorized operators may use developer-supplied tools to install software updates on the phone. The developer vets all service providers and establishes secure communication with them for delivery of tools and software updates. If the binary is modified by unauthorized entity, the device has a feature to detect the change and thus not accept the binary modified by an unauthorized entity. 12. Mitigation of Other Attacks No other attacks are mitigated. © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 20 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 13. Glossary and Abbreviations AES Advanced Encryption Specification CAVP Cryptographic Algorithm Validation Program CBC Cypher Block Chaining CCM Counter with Cipher Block Chaining-Message Authentication Code CFB Cypher Feedback CC Common Criteria CMT Cryptographic Module Testing CMVP Cryptographic Module Validation Program CSP Critical Security Parameter CVT Component Verification Testing DES Data Encryption Standard DSA Digital Signature Algorithm EAL Evaluation Assurance Level FSM Finite State Model HMAC Hash Message Authentication Code MAC Message Authentication Code NIST National Institute of Science and Technology NVLAP National Voluntary Laboratory Accreditation Program OFB Output Feedback O/S Operating System PP Protection Profile RNG Random Number Generator RSA Rivest, Shamir, Addleman SDK Software Development Kit SHA Secure Hash Algorithm SHS Secure Hash Standard SLA Service Level Agreement SOF Strength of Function SSH Secure Shell SVT Scenario Verification Testing TDES Triple DES TOE Target of Evaluation UI User Interface Table 8: Abbreviations © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 21 of 22 Samsung Kernel Crypto API Cryptographic Module version 1.2 FIPS 140-2 Security Policy 14. References [1] FIPS 140-2 Standard, http://csrc.nist.gov/groups/STM/cmvp/standards.html [2] FIPS 140-2 Implementation Guidance, http://csrc.nist.gov/groups/STM/cmvp/standards.html [3] FIPS 140-2 Derived Test Requirements, http://csrc.nist.gov/groups/STM/cmvp/standards.html [4] FIPS 197 Advanced Encryption Standard, http://csrc.nist.gov/publications/PubsFIPS.html [5] FIPS 180-3 Secure Hash Standard, http://csrc.nist.gov/publications/PubsFIPS.html [6] FIPS 198-1 The Keyed-Hash Message Authentication Code (HMAC), http://csrc.nist.gov/publications/PubsFIPS.html [7] FIPS 186-3 Digital Signature Standard (DSS), http://csrc.nist.gov/publications/PubsFIPS.html © 2011 Samsung/atsec information security. This document can be reproduced and distributed only whole and intact, including this copyright notice. 22 of 22