Commit 65afd002 authored by alex's avatar alex
Browse files

Added espHeader and authHeader

parent b961e28b
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -89,9 +89,9 @@
			FragmentHeader		fragmentHeader,
			DestOptionHeader 	destinationOptionHeader,
			Ipv6Header			tunnelIpv6,
			MipHeader			mipHeader/*,//defined in LibIpv6_MultiRfcs_TypesAndValues
			MipHeader			mipHeader,//defined in LibIpv6_MultiRfcs_TypesAndValues
			AuthHeader			authHeader, //defined in LibIpv6_MultiRfcs_TypesAndValues
			EspHeader			espHeader, //defined in LibIpv6_MultiRfcs_TypesAndValues
			EspHeader			espHeader/*, //defined in LibIpv6_MultiRfcs_TypesAndValues
			OtherIpv6ExtHdr		otherHeader
*/
		} 
+34 −4
Original line number Diff line number Diff line
@@ -15,6 +15,9 @@ module LibIpv6_MultiRfcs_TypesAndValues {
	import from LibCommon_TextStrings all;
	import from LibCommon_Time all ;
	
	//
	import from LibIpv6_Rfc2460Root_TypesAndValues all;
	
	group commonConstants {

		group DefaultConstants {
@@ -472,13 +475,40 @@ module LibIpv6_MultiRfcs_TypesAndValues {

	group sharedExtensionHeaders {

	/*
	 * @desc Derived from RFC4302 clause 2. 
	 *       The payloadLen is specified in unit of 4 Octets minus 2
	*/
	group authHeader {
		type OtherIpv6ExtHdr AuthHeader;
		type record AuthHeader {
			UInt8		nextHeader,
			UInt8		payloadLen,
			UInt16		reserved,
			UInt32		securityParametersIndex,
			UInt32		sequenceNumber,
			octetstring	integrityCheckValue			
		}
	}//end group authHeader


	/*
	 * @desc Derived from RFC4303 clause 2. 
	*/
	group espHeader {
		type OtherIpv6ExtHdr EspHeader;
		type record EspHeader {
			// Header
			UInt32				securityParametersIndex,
			UInt32				sequenceNumber,		
			// Payload
			octetstring			initializationVector optional,
			ExtensionHeaderList extHdrList optional,
			octetstring			data optional,
			octetstring			trafficFlowConfidentialityPadding optional,
			// Trailer
			octetstring			padding optional,
			UInt8				padLength,
			UInt8				nextHdr,
			octetstring			integrityCheckValue
		}
	}//end group espHeader