LibItsSecurity_Pixits.ttcn3

/**
 *  @author   ETSI / STF481
 *  @version  $URL$
 *            $Id$
 *  @desc     Module containing Pixits for Security Protocol
 *
 */
module LibItsSecurity_Pixits {
    
    // LibItsSecurity
    import from LibItsSecurity_TypesAndValues all;
    import from LibItsSecurity_Templates all;
    
    // FIXME Create a configuration structure to unify all PIXITs into one configuration PIXIT record of
    
    /**
     * @desc Index on the certificate to be used. Default: configuration #0
     */
    modulepar integer PX_CERTIFICATE_CONFIG_IDX := 0;
    
    /**
     * @desc Signing private keys generated by the PKI Infrastructire tool (CertChainGenerator\src\org\etsi\stf440\pki\MainApp.java)
     */
    modulepar KeyX PX_PRIVATE_SIGNING_KEYS := {
        'e60dbe6b12c52c25a8939bcc16be7d75cd882dc64c52e05b1ef94a6de3d45f12'O
        // TODO Add additional configurations
    };
    
    /**
     * @desc Encryption private keys generated by the PKI Infrastructire tool (CertChainGenerator\src\org\etsi\stf440\pki\MainApp.java)
     */
    modulepar KeyX PC_PRIVATE_ENCRYPTION_KEYS := {
        '0d1a46bb3fc6f4384da2b0a31eaecb43264379d1b44a68ca488f70419795c1de'O
        // TODO Add additional configurations
    };
    
    /**
     * @desc Authorization Tickate certificates generated by the PKI Infrastructire tool
     */
    modulepar CertificateChain PX_AT_CERTIFICATES := {
        {
            version             := 2,
            signer_infos        := {
                m_SignerInfo_digest(
                    '0727A031EE3F372C'O
                )
            },
            subject_info        := m_subject_info_authorization_ticket,
            subject_attributes  := {
                m_subject_attribute_verification_key(
                    m_publicKey_eccPoint(
                        m_eccPointecdsa_nistp256_with_sha256_uncompressed(
                            '95dcdeb8d4fded1054d7b6b655795cad513c3d1c3b6c20ee54a7be3e452fb817'O,
                            'ebab6899cee407d43d77cb3911410608bd275deb232d3c8b457268d628863fd8'O
                        )
                    )
                ),
                m_subject_attribute_encryption_key(
                    m_publicKey_aesccm(
                        m_aesccm(
                            m_eccPointecdsa_nistp256_with_sha256_uncompressed(
                                '41fb63bfee1fffe94e09e3b7bb6a338f587e96fa24e6df2907fde11161b2d8df'O,
                                '1e0095ef57a637732ea66423b47a8711bd24e9f321a61036e8826002f06a7b02'O
                            )
                        )
                    )
                ),
                m_subject_attribute_assurance_level(
                    m_subjectAssurance(
                        '001'B, 
                        '00'B
                    )
                ),
                m_subject_attribute_its_aid_list(
                    { 
                        16512,
                        16513
                    }
                )
            },
            validity_restrictions   := {
                m_validity_restriction_time_start_and_end(
                    1405173485,
                    1513691885
                )
            },
            signature_              := m_signature(
                m_ecdsaSignature(
                    m_eccPointecdsa_nistp256_with_sha256_x_coordinate_only(
                        'ff5f97a03a979cdd4597de08675be9e62c255d6ea4e547e9465326cd2110c693'O
                    ),
                    '803cada03715fb8bc4ee2fd67022cafecf8631be91aa95036fb9a1a7462094c1'O
                )
            )
        } // End of Config #0
        // TODO Add additional configurations
    }; // End of pixit PX_AT_CERTIFICATES
    
    /**
     * @desc 3D location associated to each configuration
     */
    modulepar ThreeDLocations PX_THREED_LOCATIONS := {
        {
            latitude    := 12345,
            longitude   := 12345,
            elevation   := '020E'O
        } // End of Config #0
        // TODO Add additional configurations
    };
    
} // End of module LibItsSecurity_Pixits