Commit ee4cd931 authored by YannGarcia's avatar YannGarcia
Browse files

STF594: Add new CAM & DENM tests

parent 5d8bcbab
Loading
Loading
Loading
Loading
+231 −93

File changed.

Preview size limit exceeded, changes collapsed.

+13 −1
Original line number Diff line number Diff line
@@ -1661,6 +1661,18 @@ module LibItsSecurity_Templates {
    
    group encryptionKey {
      
        template (value) EncryptionKey m_encryptionKey_public(
                                                              in template (value) PublicEncryptionKey p_encryptionKey
                                                              ) := {
          public_ := p_encryptionKey
        }
      
        template (present) EncryptionKey mw_encryptionKey_public(
                                                                 template (present) PublicEncryptionKey p_encryptionKey := ?
                                                                 ) := {
          public_ := p_encryptionKey
        }
      
        template (value) PublicEncryptionKey m_encryptionKey(
                                                             in template (value) SymmAlgorithm p_supportedSymmAlg := aes128Ccm,
                                                             in template (value) BasePublicEncryptionKey p_publicKey
+1 −0
Original line number Diff line number Diff line
@@ -38,6 +38,7 @@ module LibItsSecurity_TypesAndValues {
        const charstring cc_taCert_B1   := "CERT_TS_B_1_AT";
        const charstring cc_taCert_B_AA := "CERT_TS_B_1_AA";
        const charstring cc_taCert_A_B  := "CERT_TS_A_B_AT";
        const charstring cc_taCert_A_B3 := "CERT_TS_A_B3_AT";
        const charstring cc_taCert_C    := "CERT_TS_C_AT"; /** Certificate with a rectangular region, to be used when secured messages are sent from TA to IUT */
        const charstring cc_taCert_C1   := "CERT_TS_C1_AT"; /** Certificate with a rectangular region, to be used when secured messages are sent from TA to IUT */
        const charstring cc_taCert_CA1  := "CERT_TS_CA1_AT"; /** Certificate with a rectangular region, to be used when secured messages are sent from TA to IUT */