Skip to content
LibIpv6_ModuleParameters.ttcn 3.31 KiB
Newer Older
alex's avatar
alex committed
/*
 *	@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 ;
schmitting's avatar
schmitting committed
	import from LibIpv6_Rfc4306Ikev2_TypesAndValues all ;
alex's avatar
alex committed

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

peter's avatar
peter committed
	/*
	 * @desc What time does the IUT need to build its global address?
peter's avatar
peter committed
	*/
	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_saOut]?
	*/
	modulepar { IpSecProtocolMode PX_IP_SEC_PROTOCOL_MODE := e_transportMode }

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

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

	/*
	 * @desc Which Algo mode shall be used for Integrity in vc_sad[c_saOut]?
	*/
	modulepar { CombinedModeAlgo PX_COMBINED_MODE_ALGO := e_null }

mullers's avatar
mullers committed
	/*
mullers's avatar
mullers committed
	 * @desc Which SPI shall be used for testing?
mullers's avatar
mullers committed
	*/
mullers's avatar
mullers committed
	modulepar {UInt32 PX_SPI := 1}
mullers's avatar
mullers committed

	/*
	 * @desc Initialization vector for encryption algos
	*/
berge's avatar
berge committed
	//modulepar {octetstring PX_IV := '000102030405'O }
	 * @desc Key for integrity vc_sad[c_saOut]
mullers's avatar
mullers committed
	*/
	modulepar {octetstring PX_INTEGRITY_KEY := '000102030405'O }
	
	/*
	 * @desc Key for encryption in vc_sad[c_saOut]
mullers's avatar
mullers committed
	*/
	modulepar {octetstring PX_ESP_ENCR_KEY := 'A1A2A3A4'O}
	
	/*
	 * @desc Key for combined mode in vc_sad[c_saOut]
mullers's avatar
mullers committed
	*/
	modulepar {octetstring PX_COMBINED_MODE_KEY := 'B1B2B3B4'O}

schmitting's avatar
schmitting committed
	group ikeSecurity
	{
	/*
	 * @desc Which SPI shall be used for testing IKE?
	*/
mullers's avatar
mullers committed
	modulepar {Oct8 PX_IKE_SPI := '0000000000000001'O}  //SMU this can be random, no pixit needed, delete later
schmitting's avatar
schmitting committed

	/*
	 * @desc Which encryption algorithm shall be used for testing IKE?
	*/
mullers's avatar
mullers committed
	modulepar {IkeEncryptionAlgo PX_IKE_ENCALGO := e_encrAlgoDesIv64} 
schmitting's avatar
schmitting committed

	/*
	 * @desc Which pseudo random function shall be used for testing IKE?
	*/
mullers's avatar
mullers committed
	modulepar {IkePseudoRandomFunction PX_IKE_PSEUDORANDOM_FCT := e_prfHmacMd5} 
schmitting's avatar
schmitting committed

	/*
	 * @desc Which integrity algorithm shall be used for testing IKE?
	*/
mullers's avatar
mullers committed
	modulepar {IkeIntegrityAlgo PX_IKE_INTALGO := e_integAlgoHmacMd596} 
schmitting's avatar
schmitting committed

	/*
	 * @desc Which Diffie-Hellman group shall be used for testing IKE?
	*/
mullers's avatar
mullers committed
	modulepar {DiffieHellmanGroup PX_IKE_DIFFIEHELLMAN_GROUP := e_group1ModP768Bit} 
schmitting's avatar
schmitting committed

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

	} // end group ikeSecurity

mullers's avatar
mullers committed
group udpPxts {
	
	modulepar {UInt16 PX_UDP_PORT_IUT_1 := 23000}
	modulepar {UInt16 PX_UDP_PORT_HS02 := 23055}
	
}//end udpPxts

peter's avatar
peter committed
	
alex's avatar
alex committed
} // end module LibIpv6_ModuleParameters