Commit 8c2a975e authored by garciay's avatar garciay
Browse files

STF538: Finalize GN, DENM & CAM TP implementation

parent 845b312e
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -76,6 +76,6 @@ module LibItsSecurity_Pics {
    /**
     * Does the IUT support ITS-AID for Generic profile?
     */
    modulepar boolean PICS_ITS_AID_OTHER_PROFILE := true;
    modulepar boolean PICS_SEC_ITS_AID_OTHER := true;
    
} // End of module LibItsSecurity_Pics
 No newline at end of file
+27 −3
Original line number Diff line number Diff line
@@ -396,7 +396,7 @@ module LibItsSecurity_Templates {
                } // End of template mw_signerIdentifier_digest
                
                template (present) SignerIdentifier mw_signerIdentifier_certificate(
                                                                                    in template (present) Certificate p_certificate  := ?
                                                                                    in template (present) EtsiTs103097Certificate p_certificate  := ?
                ) := {
                    certificate := { p_certificate }
                } // End of template m_signerIdentifier_certificate
@@ -866,6 +866,21 @@ module LibItsSecurity_Templates {
            generationLocation := p_generationLocation
        } // End of template m_headerInfo_gn
        
        /**
         * 
         * Clause 7.1.3 Generic security profile for other signed messages
         */
        template (present) HeaderInfo mw_headerInfo_gn(
                                                       template (present) Psid p_psid := c_its_aid_GN,
                                                       template (present) Time64 p_generationTime := ?,
                                                       template (present) Time64 p_expiryTime := ?,
                                                       template ThreeDLocation p_generationLocation := omit
        ) modifies m_ieee1609Dot2_headerInfo := {
            generationTime     := p_generationTime,
            expiryTime         := p_expiryTime,
            generationLocation := p_generationLocation
        } // End of template mw_headerInfo_gn
        
    } // End of group headerFields
    
    group signatures {
@@ -1179,7 +1194,8 @@ module LibItsSecurity_Templates {
        template ToBeSignedCertificate mw_toBeSignedCertificate_ca(
                                                                   template (present) CertificateId p_id := ?,
                                                                   template (present) SequenceOfPsidSsp p_appPermissions := ?,
                                                                   template (present) SequenceOfPsidGroupPermissions p_certIssuePermissions,
                                                                   template (present) SequenceOfPsidGroupPermissions p_certIssuePermissions := ?,
                                                                   template (present) SequenceOfPsidGroupPermissions p_certRequestPermissions := ?,
                                                                   template (present) VerificationKeyIndicator p_verifyKeyIndicator := ?,
                                                                   template ValidityPeriod p_validityPeriod := *,
                                                                   template GeographicRegion p_region := *,
@@ -1194,7 +1210,7 @@ module LibItsSecurity_Templates {
            assuranceLevel         := p_assuranceLevel,
            appPermissions         := *,
            certIssuePermissions   := p_certIssuePermissions,
            certRequestPermissions := *, 
            certRequestPermissions := p_certRequestPermissions, 
            canRequestRollover     := *,
            encryptionKey          := p_encryptionKey,
            verifyKeyIndicator     := p_verifyKeyIndicator
@@ -1436,6 +1452,14 @@ module LibItsSecurity_Templates {
            ssp    := p_ssp
        } // End of template m_appPermissions
        
        template (present) PsidSsp mw_appPermissions(
                                                     template (present) Psid p_psid := ?,
                                                     template ServiceSpecificPermissions p_ssp := *
        ) := {
            psid   := p_psid,
            ssp    := p_ssp
        } // End of template mw_appPermissions
        
        template (value) PsidSspRange m_psidSspRange(
                                                     in Psid p_psid,
                                                     in template (value) SspRange p_sspRange := m_SspRange_all