//
// Copyright (C) 2002, 2003, 2004, 2005 Yokogawa Electric Corporation, 
// INTAP(Interoperability Technology Association for Information 
// Processing, Japan), IPA (Information-technology Promotion Agency, Japan).
// All rights reserved.
// 
// Redistribution and use of this software in source and binary forms, with 
// or without modification, are permitted provided that the following 
// conditions and disclaimer are agreed and accepted by the user:
// 
// 1. Redistributions of source code must retain the above copyright 
// notice, this list of conditions and the following disclaimer.
// 
// 2. Redistributions in binary form must reproduce the above copyright 
// notice, this list of conditions and the following disclaimer in the 
// documentation and/or other materials provided with the distribution.
// 
// 3. Neither the names of the copyrighters, the name of the project which 
// is related to this software (hereinafter referred to as "project") nor 
// the names of the contributors may be used to endorse or promote products 
// derived from this software without specific prior written permission.
// 
// 4. No merchantable use may be permitted without prior written 
// notification to the copyrighters. However, using this software for the 
// purpose of testing or evaluating any products including merchantable 
// products may be permitted without any notification to the copyrighters.
// 
// 
// 
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHTERS, THE PROJECT AND 
// CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING 
// BUT NOT LIMITED THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS 
// FOR A PARTICULAR PURPOSE, ARE DISCLAIMED.  IN NO EVENT SHALL THE 
// COPYRIGHTERS, THE PROJECT OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 
// INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 
// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 
// HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 
// CONTRACT,STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF 
// THE POSSIBILITY OF SUCH DAMAGE.
//
// $Name: REL_2_1_2 $
//
// $TAHI: ct/ipsec/HTR_E_Fragment_hmacsha1.def,v 1.1 2003/05/05 18:05:33 ozoe Exp $
//

#define EALGO_FROM_HOST1	ealgo_null_hmacsha1_012
#define EALGO_TO_HOST1		ealgo_null_hmacsha1_012

#include "./HTR_E_common.def"

Hdr_ESP esp_from_host_big {
	SPI = 0x1000;
	SequenceNumber = 2;
	algorithm = EALGO_FROM_HOST1;
}

Hdr_ESP esp_to_host_big {
	SPI = 0x1000;
	SequenceNumber = 2;
	algorithm = EALGO_TO_HOST1;
}

//======================================================================
//
// Echo Request from Host1 IPsec ESP (before fragment)
//


FEM_icmpX_echo_request_exth(
	echo_request_from_host1_big_esp,
	hether_router2nut,
	{
		_SRC(vX(IPSEC_HOST1_NET5_ADDR));
		_DST(vX(IPSEC_NUT_NET3_ADDR));
	},
	{
		header = _HDR_IPVX_NAME(echo_request_from_host1_big_esp);
		exthdr = esp_from_host_big;
		upper = _ICMPVX_NAME(echo_request_from_host1_big_esp);
	},
	{
		payload = echo_data_big;
	}
)

//
// Echo Request from Host1 IPsec ESP (fragment 1st)
//

FEM_hdr_ipv6_exth(
	echo_request_from_host1_1st_esp,
	hether_router2nut,
	{
		_SRC(vX(IPSEC_HOST1_NET5_ADDR));
		_DST(vX(IPSEC_NUT_NET3_ADDR));
	},
	{
		header = _HDR_IPVX_NAME(echo_request_from_host1_1st_esp);
		exthdr = frag_req_1st_esp;
		upper = payload_req_1st_esp;
	}
)

//
// Echo Request from Host1 IPsec ESP (fragment 2nd)
//

FEM_hdr_ipv6_exth(
	echo_request_from_host1_2nd_esp,
	hether_router2nut,
	{
		_SRC(vX(IPSEC_HOST1_NET5_ADDR));
		_DST(vX(IPSEC_NUT_NET3_ADDR));
	},
	{
		header = _HDR_IPVX_NAME(echo_request_from_host1_2nd_esp);
		exthdr = frag_req_2nd_esp;
		upper = payload_req_2nd_esp;
	}
)

Hdr_Fragment frag_req_1st_esp {
	NextHeader = 50;	// ESP
	FragmentOffset = 0;
	MFlag = 1;
	Identification = 0x0002;
}

Hdr_Fragment frag_req_2nd_esp {
	NextHeader = 50;	// ESP
	FragmentOffset = 181;
	MFlag = 0;
	Identification = 0x0002;
}

Payload payload_req_1st_esp {
	data = substr(_PACKET_IPV6_NAME(echo_request_from_host1_big_esp), 40, 1448);
}

Payload payload_req_2nd_esp {
	data = right(_PACKET_IPV6_NAME(echo_request_from_host1_big_esp), 1488);
}

//======================================================================
//
// Echo Reply to Host1 IPsec ESP (before fragment)
//

FEM_icmpX_echo_reply_exth(
	echo_reply_to_host1_big_esp,
	hether_nut2router,
	{
		_SRC(vX(IPSEC_NUT_NET3_ADDR));
		_DST(vX(IPSEC_HOST1_NET5_ADDR));
	},
	{
		header = _HDR_IPVX_NAME(echo_reply_to_host1_big_esp);
		exthdr = esp_to_host_big;
		upper = _ICMPVX_NAME(echo_reply_to_host1_big_esp);
	},
	{
		payload = echo_data_big;
	}
)

//
// Echo Reply to Host1 IPsec ESP (fragment 1st)
//

FEM_hdr_ipv6_exth(
	echo_reply_to_host1_1st_esp,
	hether_nut2router,
	{
		_SRC(vX(IPSEC_NUT_NET3_ADDR));
		_DST(vX(IPSEC_HOST1_NET5_ADDR));
	},
	{
		header = _HDR_IPVX_NAME(echo_reply_to_host1_1st_esp);
		exthdr = frag_rep_1st_esp;
		upper = payload_rep_1st_esp;
	}
)

//
// Echo Reply to Host1 IPsec ESP (fragment 2nd)
//

FEM_hdr_ipv6_exth(
	echo_reply_to_host1_2nd_esp,
	hether_nut2router,
	{
		_SRC(vX(IPSEC_NUT_NET3_ADDR));
		_DST(vX(IPSEC_HOST1_NET5_ADDR));
	},
	{
		header = _HDR_IPVX_NAME(echo_reply_to_host1_2nd_esp);
		exthdr = frag_rep_2nd_esp;
		upper = payload_rep_2nd_esp;
	}
)

Hdr_Fragment frag_rep_1st_esp {
	NextHeader = 50;	// ESP
	FragmentOffset = 0;
	MFlag = 1;
	Identification = any;
}

Hdr_Fragment frag_rep_2nd_esp {
	NextHeader = 50;	// ESP
	FragmentOffset = 181;
	MFlag = 0;
	Identification = any;
}

Payload payload_rep_1st_esp {
	data = substr(_PACKET_IPV6_NAME(echo_reply_to_host1_big_esp), 40, 1448);
}

Payload payload_rep_2nd_esp {
	data = right(_PACKET_IPV6_NAME(echo_reply_to_host1_big_esp), 1488);
}