Commit a47721ea authored by garciay's avatar garciay
Browse files

Add new templates for security headers

parent 2423870d
Loading
Loading
Loading
Loading
+0 −1
Original line number Original line Diff line number Diff line
@@ -1375,7 +1375,6 @@ module LibItsSecurity_Templates {
                 */
                 */
                template (present) SecuredMessage mdw_secureMessageCAMs
                template (present) SecuredMessage mdw_secureMessageCAMs
                modifies mdw_secureMessageCAMs_dummy := { // TODO To be continued
                modifies mdw_secureMessageCAMs_dummy := { // TODO To be continued
                    security_profile    := ?,
                    header_fields       := ?,
                    header_fields       := ?,
                    payload_fields      := ?,
                    payload_fields      := ?,
                    trailer_fields      := ?
                    trailer_fields      := ?