LibIpv6_ModuleParameters.ttcn

/*
 *	@author 	STF 276
 *  @version 	$Id$
 *	@desc		- Here all module parameters from every RFC shall be collected.
 *  
 */
module LibIpv6_ModuleParameters {
	
	//LibCommon
	import from LibCommon_DataStrings all;
	import from LibCommon_BasicTypesAndValues all;
	import from LibCommon_TextStrings all;
	//LibIpv6
	import from LibIpv6_Interface_TypesAndValues all ;
	import from LibIpv6_Rfc4306Ikev2_TypesAndValues all ;

	/*
	 * @desc Length of Source Link-Layer and Target Link-Layer options
	 * @remark Length is specified in units of 8 octets including type+length field
	*/
	modulepar {UInt8 PX_MAC_OPTION_LEN := 1}

	/*
	 * @desc What time does the IUT need to build its global address?
	*/
	modulepar {float PX_T_BUILD_GLA := 15.0}


	/*
	 * @desc Shall IPSEC be tested?
	*/
	modulepar { IpSecSwitch PX_IP_SEC := e_securityOff }

	/*
	 * @desc Shall IPSEC be tested?
	*/
	modulepar { IpSecProtocol PX_IP_SEC_PROTOCOL := e_esp }

	/*
	 * @desc Which protocol mode shall be used in vc_sad[c_saRes]?
	*/
	modulepar { IpSecProtocolMode PX_IP_SEC_PROTOCOL_MODE := e_transportMode }

	/*
	 * @desc Which Algo mode shall be used for Encryption in vc_sad[c_saRes]?
	*/
	modulepar { EncryptionAlgo PX_ENCRYPTION_ALGO := e_encr_3Des }

	/*
	 * @desc Which Algo mode shall be used for Integrity in vc_sad[c_saRes]?
	*/
	modulepar { IntegrityAlgo PX_INTEGRITY_ALGO := e_auth_hmacSha1_96 }

	/*
	 * @desc Which SPI shall be used for testing?
	*/
	modulepar {UInt32 PX_SPI := 1}
	
	/*
	 * @desc Key for integrity vc_sad[c_saRes]
	*/
	modulepar {octetstring PX_INTEGRITY_KEY := '000102030405'O }
	
	/*
	 * @desc Key for encryption in vc_sad[c_saRes]
	*/
	modulepar {octetstring PX_ESP_ENCR_KEY := 'A1A2A3A4'O}
	
	group ikeSecurity
	{
	/*
	 * @desc Which SPI shall be used for testing IKE?
	*/
	modulepar {Oct8 PX_IKE_SPI := '0000000000000001'O}  //SMU this can be random, no pixit needed, delete later

	/*
	 * @desc Which protocol (ESP or AH) shall be requested in IKE_AUTH messages when testing IKE?
	*/
	modulepar {UInt8 PX_AH_OR_ESP := c_protocolEsp}  

	/*
	 * @desc Which encryption algorithm shall be used for testing IKE?
	*/
	modulepar {EncryptionAlgo PX_IKE_ENCALGO := e_encr_3Des}

	/*
	 * @desc Which pseudo random function shall be used for testing IKE?
	*/
	modulepar {PseudoRandomFunction PX_IKE_PSEUDORANDOM_FCT := e_prfHmacMd5} 

	/*
	 * @desc Which integrity algorithm shall be used for testing IKE?
	*/
	modulepar {IntegrityAlgo PX_IKE_INTALGO := e_auth_hmacMd5_96}

	/*
	 * @desc Which Diffie-Hellman group shall be used for testing IKE?
	*/
	modulepar {DiffieHellmanGroup PX_IKE_DIFFIEHELLMAN_GROUP := e_group2ModP1024Bit} 

	/*
	 * @desc Which private key for the Diffie-Hellman exchange shall be used for testing IKE?
	*/
	modulepar {octetstring PX_IKE_DIFFIEHELLMAN_PRIVKEY := '0123456789ABCDEF'O}

	/*
	 * @desc Are Sec Params configured manually or is IKE used to setup Sec Params?
	*/
	modulepar {IpSecControl PX_IPSEC_CONTROL := e_useIKEforSecParamsSetup }

	/*
	 * @desc Which pre-shared secret shall be used for calculating the AUTH value?
    */
	modulepar {octetstring PX_PRE_SHARED_KEY := '0123456789ABCDEF'O}

	/*
	 * @desc Which identification data (type = ID_IPV6_ADDR) shall be used for sending in Identification payloads?
    */
	modulepar {octetstring PX_IDENTIFICATION_DATA := '00112233445566778899AABBCCDDEEFF'O}

	} // end group ikeSecurity

group udpPxts {
	
	modulepar {UInt16 PX_UDP_PORT_IUT_1 := 500}
	modulepar {UInt16 PX_UDP_PORT_HS02 := 500}
	
}//end udpPxts

	
	
} // end module LibIpv6_ModuleParameters