Commit f533a313 authored by Denis Filatov's avatar Denis Filatov
Browse files

(+) rcv templates for external hash signed data

parent 4c0941d8
Loading
Loading
Loading
Loading
+32 −1
Original line number Diff line number Diff line
@@ -491,6 +491,8 @@ module LibItsSecurity_Templates {
                }
            }

            template (present) HashAlgorithm mw_validEtsiTs103097HashAlgorithm := (sha256, sha384);
            
        } // End of group basicFormatElementsRecv
        
    } // End of group dummyBasicFormatElements 
@@ -639,6 +641,35 @@ module LibItsSecurity_Templates {
            omitted     := omit
        } // End of template m_signedDataPayload_ext

        template (present) SignedDataPayload mw_signedDataPayload_ext(
                                                                  in template (present) HashedData p_extDataHash := ?
        ) := {
            data        := omit,
            extDataHash := p_extDataHash,
            omitted     := omit
        } // End of template m_signedDataPayload_ext

        template (present) HashedData mw_sha256HashedData (in template (present) octetstring p_extDataHash := ?
        ) := {
          sha256HashedData := p_extDataHash
        }

        template (present) HashedData mw_sha384HashedData (in template (present) octetstring p_extDataHash := ?
        ) := {
          sha384HashedData := p_extDataHash
        }

        template (present) HashedData mw_sm3HashedData (in template (present) octetstring p_extDataHash := ?
        ) := {
          sm3HashedData := p_extDataHash
        }

        template (present) HashedData mw_anyAlgHashedData (in template (present) octetstring p_extDataHash := ?
        ) := ( mw_sha256HashedData(p_extDataHash), mw_sha384HashedData(p_extDataHash), mw_sm3HashedData(p_extDataHash) );

        template (present) HashedData mw_etsiTs103097SupportedAlgHashedData (in template (present) octetstring p_extDataHash := ?
        ) := ( mw_sha256HashedData(p_extDataHash), mw_sha384HashedData(p_extDataHash) );

    } // End of group signedData
    
    /**