Commit 0326a548 authored by garciay's avatar garciay
Browse files

Add missing templates for TC_SEC_ITSS_SND_CERT_08_01_BV

parent ff8bc913
Loading
Loading
Loading
Loading
+54 −1
Original line number Diff line number Diff line
@@ -131,7 +131,7 @@ module LibItsSecurity_Templates {
                public_key  := {
                    eccPoint := ?
                } // End of field public_key
            } // End of template PublicKey
            } // End of template mw_publicKey_eccPoint_dummy
            
            /**
             * @desc Dummy send template for PublicKey/AES CCM
@@ -558,6 +558,22 @@ module LibItsSecurity_Templates {
                    y               := omit
                } // End of template mw_eccPointecdsa_nistp256_with_sha256_y1_coordinate_only
                
                /**
                 * @desc Receive template for EccPoint description based on uncompressed type
                 * @see Draft ETSI TS 103 097 V1.1.14 Clause 4.2.5   EccPoint
                 * @see Draft ETSI TS 103 097 V1.1.14 Table 2: Derivation of field sizes depending on the used algorithm
                 */
                template (present) EccPoint mw_eccPointecdsa_nistp256_with_sha256_uncompressed(
                                                                                               in template (present) octetstring p_x := ?,
                                                                                               in template (present) octetstring p_y := ?
                ) := { 
                    type_           := e_uncompressed,
                    x               := p_x,
                    y               := {
                    	y := p_y
                    }
                } // End of template mw_eccPointecdsa_nistp256_with_sha256_uncompressed
                
            } // End of group algorithms
            
            group signerInfos {
@@ -1894,6 +1910,43 @@ module LibItsSecurity_Templates {
                    }
                } // End of template mw_subject_attribute_verification_key
                
                group publicKeyRecv {
                    
                    /**
                     * @desc Receive template for PublicKey/EccPoint/Compressed_lsb_y_0
                     * @see Draft ETSI TS 103 097 V1.1.14 Clause 4.2.4    PublicKey
                     */
                    template (present) PublicKey mw_publicKey_eccPoint_compressed_lsb_y_0 
                    modifies mw_publicKey_eccPoint_dummy := {
                        public_key  := {
                            eccPoint := mw_eccPointecdsa_nistp256_with_sha256_y0_coordinate_only
                        } // End of field public_key
                    } // End of template mw_publicKey_eccPoint_compressed_lsb_y_0
                    
                    /**
                     * @desc Receive template for PublicKey/EccPoint/Compressed_lsb_y_1
                     * @see Draft ETSI TS 103 097 V1.1.14 Clause 4.2.4    PublicKey
                     */
                    template (present) PublicKey mw_publicKey_eccPoint_compressed_lsb_y_1 
                    modifies mw_publicKey_eccPoint_dummy := {
                        public_key  := {
                            eccPoint := mw_eccPointecdsa_nistp256_with_sha256_y1_coordinate_only
                        } // End of field public_key
                    } // End of template mw_publicKey_eccPoint_compressed_lsb_y_1
                    
                    /**
                     * @desc Receive template for PublicKey/EccPoint/Uncompressed
                     * @see Draft ETSI TS 103 097 V1.1.14 Clause 4.2.4    PublicKey
                     */
                    template (present) PublicKey mw_publicKey_eccPoint_uncompressed 
                    modifies mw_publicKey_eccPoint_dummy := {
                        public_key  := {
                            eccPoint := mw_eccPointecdsa_nistp256_with_sha256_uncompressed
                        } // End of field public_key
                    } // End of template mw_publicKey_eccPoint_compressed_lsb_y_0
                    
                } // End of group publicKeyRecv 
                
                template (present) SubjectAttribute mw_subject_attribute_encryption_key(
                                                                                        in template (present) EccPoint p_rv := ?
                ) := {