Commit 3965070c authored by garciay's avatar garciay
Browse files

ATS security review

parent 0f09e511
Loading
Loading
Loading
Loading
+139 −158

File changed.

Preview size limit exceeded, changes collapsed.

+6 −7
Original line number Diff line number Diff line
@@ -257,7 +257,7 @@ module LibItsSecurity_Templates {
                 * @desc Send template for digest signed message
                 */
                template (value) SignerIdentifier m_signerIdentifier_digest(
                                                                            in template (value) HashedId8 p_digest
                                                                            in template (value) HashedId8 p_digest := '0000000000000000'O
                ) := {
                    digest := p_digest
                } // End of template m_signerIdentifier_digest
@@ -266,7 +266,7 @@ module LibItsSecurity_Templates {
                 * @desc Send template for certificate signed message
                 */
                template (value) SignerIdentifier m_signerIdentifier_certificates(
                                                                                  in template (value) SequenceOfCertificate p_certificates
                                                                                  in template (value) SequenceOfCertificate p_certificates := {}
                ) := {
                    certificate := p_certificates
                } // End of template m_signerIdentifier_certificates
@@ -772,12 +772,11 @@ module LibItsSecurity_Templates {
        template (omit) HeaderInfo m_headerInfo_cam(
                                                    in template (value) Psid p_psid := c_its_aid_CAM,
                                                    in template (value) Time64 p_generationTime,
                                                    in template (value) Time64 p_expiryTime,
                                                    in template (omit) ThreeDLocation p_generationLocation := omit
                                                    in template (omit) Time64 p_expiryTime := omit
        ) modifies m_ieee1609Dot2_headerInfo := {
            generationTime     := p_generationTime,
            expiryTime         := p_expiryTime,
            generationLocation := p_generationLocation
            generationLocation := omit
        } // End of template m_headerInfo_cam
        
        /**