//
// $Copyright$
//
// $Name:  $
//
// $Id: HTR_A_DM_IPv6H.def,v 1.1.1.1 2000/09/28 00:14:46 sekiya Exp $
//

#include "./HTR_A_common.def"
//======================================================================
//
// AH/ESP definition
//


//======================================================================
//
// Real packet definition with IPsec AH
//

FEM_icmp6_echo_request_exth(
	echo_request_from_host1_ah_real1,
	hether_router2nut,
	{
		_SRC(v6(IPSEC_HOST1_NET5_ADDR));
		_DST(v6(IPSEC_HOST1_NET3_ADDR));  // this address will be modified to
	//	_DST(v6(IPSEC_NUT_NET3_ADDR));    // this address in
	//					  // echo_request_from_host1_ah_dm_ipv6h_dst
	},
	{
		header = _HDR_IPV6_NAME(echo_request_from_host1_ah_real1);
		exthdr = ah_from_host_sn2;
		upper = _ICMPV6_NAME(echo_request_from_host1_ah_real1);
	},
	{
		payload = IPSEC_ECHO_DATA;
	}
)


FEM_icmp6_echo_request_exth(
	echo_request_from_host1_ah_real2,
	hether_router2nut,
	{
		_SRC(v6(IPSEC_HOST2_NET5_ADDR));  // this address will be modified to
	//	_SRC(v6(IPSEC_HOST1_NET5_ADDR));  // this address in
	//					  // echo_request_from_host1_ah_dm_ipv6h_src
		_DST(v6(IPSEC_NUT_NET3_ADDR));  
	},
	{
		header = _HDR_IPV6_NAME(echo_request_from_host1_ah_real2);
		exthdr = ah_from_host_sn3;
		upper = _ICMPV6_NAME(echo_request_from_host1_ah_real2);
	},
	{
		payload = IPSEC_ECHO_DATA;
	}
)


FEM_icmp6_echo_request_exth(
	echo_request_from_host1_ah_real3,
	hether_router2nut,
	{
		_SRC(v6(IPSEC_HOST1_NET5_ADDR));
		_DST(v6(IPSEC_NUT_NET3_ADDR));
		HopLimit=64;
	},
	{
		header = _HDR_IPV6_NAME(echo_request_from_host1_ah_real3);
		exthdr = ah_from_host_sn4;
		upper = _ICMPV6_NAME(echo_request_from_host1_ah_real3);
	},
	{
		payload = IPSEC_ECHO_DATA;
	}
)


//======================================================================
//
// Modified packet definition with IPsec AH
//

// Common use Ether Header
Hdr_Ether hether_router2nut_0x86dd {
	SourceAddress=ether(IPSEC_ROUTER_NET3_MAC_ADDR);
	DestinationAddress=nutether();
	Type=0x86dd; // need to specify IPv6
}


// IPv6 Dst address is modified
Frame_Ether echo_request_from_host1_ah_dm_ipv6h_dst {
	header=hether_router2nut_0x86dd;
	packet=echo_request_from_host1_ah_modpkt1;
}

Payload echo_request_from_host1_ah_modpkt1 {
	data=substr(echo_request_from_host1_ah_real1, 14, 38);
	data={0xb0,0xb0}; // modify dstaddr IPSEC_HOST1_NET3_ADDR -> IPSEC_NUT_NET3_ADDR
	data=substr(echo_request_from_host1_ah_real1, 54, 24);
	data=substr(echo_request_from_host1_ah_real1, 78, 2);  //ICMP
	data={0xa0,0xa3}; // correct ICMP checksum
	data=substr(echo_request_from_host1_ah_real1, 82, 12); //ICMP
}


// IPv6 Src address is modified
Frame_Ether echo_request_from_host1_ah_dm_ipv6h_src {
	header=hether_router2nut_0x86dd;
	packet=echo_request_from_host1_ah_modpkt2;
}

Payload echo_request_from_host1_ah_modpkt2 {
	data=substr(echo_request_from_host1_ah_real2, 14, 22);
	data={0xc1,0xc1}; // modify srcaddr IPSEC_HOST2_NET5_ADDR -> IPSEC_HOST1_NET5_ADDR
	data=substr(echo_request_from_host1_ah_real2, 38, 40);
	data=substr(echo_request_from_host1_ah_real2, 78, 2);  //ICMP
	data={0xa0,0xa3}; // correct ICMP checksum
	data=substr(echo_request_from_host1_ah_real1, 82, 12); //ICMP
}


// IPv6 hoplimit is modified
Frame_Ether echo_request_from_host1_ah_dm_ipv6h_hlim {
	header=hether_router2nut_0x86dd;
	packet=echo_request_from_host1_ah_modpkt3;
}

Payload echo_request_from_host1_ah_modpkt3 {
	data=substr(echo_request_from_host1_ah_real3, 14, 7);
	data=0x0f; // modify HopLimit 64->15
	data=substr(echo_request_from_host1_ah_real3, 22, 72);
}


//end