/* * @author STF 276 * @version $Id$ * @desc This module collects external functions available * to any function implementation in the IPv6 lirbary or * ATS. Notice that the test case execution is only possible * if a Platform Adapter with their implementation is used * by the test system. */ module LibIpv6_ExternalFunctions { //LibCommon import from LibCommon_BasicTypesAndValues all; import from LibCommon_DataStrings all; //LibIpv6 import from LibIpv6_MultiRfcs_TypesAndValues { type all }; import from LibIpv6_Interface { type Ipv6Packet }; import from LibIpv6_Rfc2460Root_TypesAndValues {type all}; /* @desc This external function calculates the payload length * of a IPv6 packet * @param p_msg Ipv6 packet * @return payload length in bytes */ external function fx_payloadLength( in template Ipv6Packet p_msg ) return UInt16; /* @desc This external function calculates the payload length * of a IPv6 packet * @param p_msg Ipv6 packet * @param p_entry Nr of Tunnelled packet within the IPv6Packet * @return payload length in bytes */ external function fx_tunnelledPayloadLength( template Ipv6Packet p_msg, in UInt8 p_entry ) return UInt16; /* @desc This external function calculates the checksum for any * IPv6 packet which contains an ICMP message as its payload. * If ICMP message contains DestOptionHdr with HomeAddress, then checksum is calculated * by using this home address as entry for source address. * @param p_packet ICMPv6 packet * @return checksum value */ external function fx_icmpv6Checksum( in template Ipv6Packet p_packet) return Oct2; external function fx_encodeMessage (in template Ipv6Packet p_msg) return octetstring; /* @desc This external function calculates the checksum for MIPv6 Header. * If HomeAddressOption present, then this external function is called with the * HomeAddress as Source Address * @param p_srcAddr Source Address to be used for Checksum calculation * @param p_dstAddr MipHeader * @param p_mipHeader MipHeader * @return MIPv6 Header checksum */ external function fx_mipHeaderChecksum( in Ipv6Address p_srcAddr, in Ipv6Address p_dstAddr, in MipHeader p_mipHeader) return Oct2; /* @desc This external function calculates the length of MIPv6 Header. * @param p_mipHeader MipHeader * @return MIPv6 Header length */ external function fx_mipHeaderLength( in MipHeader p_mipHeader) return UInt8; /* @desc This external function calculates the length of DstOptHeader . * @param p_extHdr Extension header * @return DstOpt Header length */ // external function fx_dstOptHdrLength( in ExtensionHeader p_extHdr) // return UInt8; /* @desc This external function calculates a Message Authentication Code * @param p_key Key used to compute the MAC * @param p_message Octetstring message * @param p_crypto Cryptographic function used to compute MAC * @return Message HMAC */ external function fx_computeHMAC(in octetstring p_key, in octetstring p_message, CryptoFunction p_crypto ) return octetstring; /* @desc This external function calculates a SHA1 hash * @param p_message Octetstring message * @param p_crypto Cryptographic function used to compute MAC * @return Message hash */ external function fx_computeHash(in octetstring p_message, CryptoFunction p_crypto ) return octetstring; /* @desc This external function computes the Authenticator for * return routability procedure * @param p_careOfAddr Care-of address * @param p_cnAddr Address of the correspondant * @param p_ipv6Packet Ipv6 Packet * @param p_kbm Binding management key * @return Authenticator */ external function fx_bindingAuthenticator(in octetstring p_careOfAddr, in Ipv6Address p_careOfAddr, in Ipv6Address cnAddr, in Ipv6Packet p_ipv6Packet, in octetstring p_kbm) return octetstring; /* @desc This external function computes Integrity Check Value * @param p_ipv6Packet Ipv6 Packet * @param p_sa Security association * @return Integrity Check Value */ external function fx_IntegrityCheckValue( in Ipv6Packet p_ipv6Packet, in octetstring p_sa) return octetstring; }// end module LibIpv6_ExternalFunctions