LibIpv6_ModuleParameters.ttcn 4.15 KB
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}
group security {
	/*
	 * @desc Shall IPSEC be tested?
	*/
mullers's avatar
mullers committed
	modulepar { IpSecSwitch PX_USE_IPSEC_FOR_MIP  := e_securityOff }
berge's avatar
berge committed
	 * @desc Which protocol mode shall be used in vc_sad[c_saRes]?
mullers's avatar
mullers committed
	modulepar { IpSecProtocolMode PX_IPSEC_PROTOCOL_MODE := e_transportMode }
berge's avatar
berge committed
	 * @desc Which Algo mode shall be used for Encryption in vc_sad[c_saRes]?
	modulepar { EncryptionAlgo PX_ENCRYPTION_ALGO := e_encr_3Des }
berge's avatar
berge committed
	 * @desc Which Algo mode shall be used for Integrity in vc_sad[c_saRes]?
	modulepar { IntegrityAlgo PX_INTEGRITY_ALGO := e_auth_hmacSha1_96 }
berge's avatar
berge committed
	 * @desc Key for integrity vc_sad[c_saRes]
mullers's avatar
mullers committed
	*/
	modulepar {octetstring PX_INTEGRITY_KEY := '000102030405'O }
	
	/*
berge's avatar
berge committed
	 * @desc Key for encryption in vc_sad[c_saRes]
mullers's avatar
mullers committed
	*/
	modulepar {octetstring PX_ESP_ENCR_KEY := 'A1A2A3A4'O}

} // end group security

group ikeSecurity
schmitting's avatar
schmitting committed
	{
	/*
	 * @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

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

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

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

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

schmitting's avatar
schmitting committed
	/*
	 * @desc Which Diffie-Hellman group shall be used for testing IKE?
	*/
	modulepar {DiffieHellmanGroup PX_IKE_DIFFIEHELLMAN_GROUP := e_group2ModP1024Bit} 
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

mullers's avatar
mullers committed
	/*
mullers's avatar
mullers committed
	 * @desc Are security parameters configured manually or is IKE used to negotiate security parameters?
mullers's avatar
mullers committed
	*/
	modulepar {IpSecControl PX_IPSEC_CONTROL := e_useIKEforSecParamsSetup }

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

	group UnacceptableSecurityParams {
	
	/*
	 * @desc Which IKE_SA encryption algorithm is not acceptable for the IUT?
	*/
	modulepar {EncryptionAlgo PX_IKE_ENCALGO_UNACCEPTABLE := e_encr_idea}

	/*
	 * @desc Which IKE_SA pseudo random function is not acceptable for the IUT?
	*/
	modulepar {PseudoRandomFunction PX_IKE_PSEUDORNDFCT_UNACCEPTABLE := e_prfAes128Xcbc} 

	/*
	 * @desc Which IKE_SA integrity algorithm is not acceptable for the IUT?
	*/
	modulepar {IntegrityAlgo PX_IKE_INTALGO_UNACCEPTABLE := e_auth_aesXcbc_96}

	/*
	 * @desc Which SA encryption algorithm is not acceptable for the IUT?
	*/
	modulepar { EncryptionAlgo PX_ENCALGO_UNACCEPTABLE := e_encr_idea }

	/*
	 * @desc Which SA integrity algorithm is not acceptable for the IUT?
	*/
	modulepar { IntegrityAlgo PX_INTALGO_UNACCEPTABLE := e_auth_kpdkMd5 }

	} // end group UnacceptableSecurityParams {

} // end group ikeSecurity
schmitting's avatar
schmitting committed

group ikeUdpPorts {
	modulepar {UInt16 PX_UDP_PORT_IUT_1 := 500}
	modulepar {UInt16 PX_UDP_PORT_HS02 := 500}
} // end group ikeUdpPorts
peter's avatar
peter committed
	
alex's avatar
alex committed
} // end module LibIpv6_ModuleParameters