Commit 63b328ed authored by mullers's avatar mullers
Browse files

TC_SEC_6030_01

TC_SEC_6030_02
TC_SEC_6030_03
TC_SEC_6030_04
TC_SEC_6065_01
TC_SEC_6065_02 added
parent 041a5455
Loading
Loading
Loading
Loading
+40 −1
Original line number Diff line number Diff line
@@ -55,6 +55,26 @@
			}}
		}

		template IkeSaInitRequest m_ikeSaInitReq_majorVersion(
			template Ipv6Address p_src,
			template Ipv6Address p_dst,
			UInt16 p_udpsourcePort,
			UInt16 p_udpdestPort,
			Oct8 p_initiatorSpi,
			UInt8 p_nextPayload,
			UInt32 p_messageID,
			template IkePayloadList p_ikepayloads
		)
		modifies m_ikeSaInitReq := {
			ipv6Payload := {
				ikeMsg := {
					ikev2Header := {
						majorVersion := 3
					}
				}
			}
		}
	
		template IkeSaInitRequest m_ikeSaInitReq (	template Ipv6Address p_src,
													template Ipv6Address p_dst,
													UInt16 p_udpsourcePort,
@@ -214,6 +234,25 @@
			}}
		}

	template IkeAuthRequest m_ikeAuthReq_majorVersion (	template Ipv6Address p_src,
											template Ipv6Address p_dst,
											UInt16 p_udpsourcePort,
											UInt16 p_udpdestPort,
											Oct8 p_initiatorSpi,
											Oct8 p_responderSpi,
											UInt8 p_nextPayload,
											UInt32 p_messageID,
											template IkePayloadList p_ikepayloads)
	modifies m_ikeAuthReq := {
		ipv6Payload       := {
			ikeMsg := {
				ikev2Header := {
					majorVersion := 3
				}
			}
		}
	}

	template IkeAuthRequest m_ikeAuthReq (	template Ipv6Address p_src,
											template Ipv6Address p_dst,
											UInt16 p_udpsourcePort,