Commit 17669cc0 authored by mullers's avatar mullers
Browse files

f_ikeSaUp started to implement

parent d75c7079
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -1359,7 +1359,7 @@ module LibIpv6_Interface_Templates {
		}

		template ExtensionHeader mw_extHdr_espHeader(
			in UInt32 p_spi,
			in template UInt32 p_spi,
			in template UInt32 p_seqNr,
			in template EspIpDatagram p_espIpDatagram,
			in UInt8 p_nextHeader) := {
+14 −7
Original line number Diff line number Diff line
@@ -59,7 +59,7 @@ module LibIpv6_ModuleParameters {
	/*
	 * @desc Which SPI shall be used for testing?
	*/
	modulepar {UInt32 PX_SPI := 1;}
	modulepar {UInt32 PX_SPI := 1}

	/*
	 * @desc Initialization vector for encryption algos
@@ -86,35 +86,42 @@ module LibIpv6_ModuleParameters {
	/*
	 * @desc Which SPI shall be used for testing IKE?
	*/
	modulepar {Oct8 PX_IKE_SPI := '0000000000000001'O;}  
	modulepar {Oct8 PX_IKE_SPI := '0000000000000001'O}  

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

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

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

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

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

	} // end group ikeSecurity

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

	
	
} // end module LibIpv6_ModuleParameters
+1 −1
Original line number Diff line number Diff line
@@ -1452,7 +1452,7 @@ group mobileSecurityFns {
											m_espIpDatagram(									
												omit,
												m_ipv6Payload_mobilePrefixAdvMsg(
													mw_mobilePrefixAdvMsg())),
													mw_mobilePrefixAdvMsg)),
											c_icmpHdr)))) {
					tc_ac.stop;
					v_ret := e_success ;
+1 −1
Original line number Diff line number Diff line
@@ -226,7 +226,7 @@
		mobilePrefixAdvMsg := p_mobilePrefixAdvMsg
	}

	template MobilePrefixAdvertisementMsg mw_mobilePrefixAdvMsg ():= {
	template MobilePrefixAdvertisementMsg mw_mobilePrefixAdvMsg := {
		icmpType := c_mobilePrefixAdvertisement,
		icmpCode := ?,
		checksum := ?,
+32 −0
Original line number Diff line number Diff line
@@ -851,4 +851,36 @@ group IcmpAndAuthHeaderFns {
	
}// end IcmpAndAuthHeaderFns

group ikeFns {
	
/*	function f_ikeSaUp(in template IkeSaInitRequest p_ikeSaInitRequest)
	runs on Ipv6Node return FncRetCode {
														
		f_sendIkeSaInitReq(m_ikeSaInitReq (	p_paramsTn.gla,
											p_paramsIut.gla,
											PX_UDP_PORT_HS02,
											PX_UDP_PORT_IUT_1,
											c_sa,
											template IkePayloadList p_ikepayloads));								
														
	}//end f_ikeSaUp

	m_securityAssociationPL (	c_keyExchange,
								SaProposal p_saProposal)


	m_keyExchangePL (c_nonce,
					 DiffieHellmanGroup p_dhGroup,
					 octetstring p_data)

	m_noncePL (	c_vendorId,
				NonceData p_data)

	m_vendorIdPL (
			c_noNextPL,
			octetstring		p_vendorId )  */


}//end ikeFns

} // end module LibIpv6_MultiRfcs_Functions
Loading