| /////////////////////////////////////////////////////////////////////////////// |
| // // |
| // Copyright (c) 2000-2019 Ericsson Telecom AB // |
| // // |
| // All rights reserved. This program and the accompanying materials // |
| // are made available under the terms of the Eclipse Public License v2.0 // |
| // which accompanies this distribution, and is available at // |
| // https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html // |
| // // |
| /////////////////////////////////////////////////////////////////////////////// |
| /////////////////////////////////////////////////////////////////////////////// |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // Module: EPTF_CLL_Transport_IPsecHandler_Logging_CommonDefinitions |
| // |
| // Purpose: |
| // This module contains the implementation of IPSec parameters logging common definitions. |
| // |
| // Detailed Comments: |
| // - |
| // |
| /////////////////////////////////////////////////////////////////////////////// |
| module EPTF_CLL_Transport_IPsecHandler_Logging_CommonDefinitions { |
| |
| /////////////////////////////////////////////////////////// |
| // Type: EPTF_CLL_Transport_IPsecHandler_Logging_IPSec_PT |
| // |
| // Purpose: |
| // The internal port betveen IPSec Logging server and client |
| // |
| // Elements: |
| // - |
| // Detailed Comments: |
| // |
| /////////////////////////////////////////////////////////// |
| type port EPTF_CLL_Transport_IPsecHandler_Logging_IPSec_PT message |
| { |
| inout EPTF_CLL_Transport_IPsecHandler_Logging_IPSec_Event; |
| } |
| with { extension "internal" } |
| |
| /////////////////////////////////////////////////////////// |
| // Type: EPTF_CLL_Transport_IPsecHandler_Logging_IPSec_Event |
| // |
| // Purpose: |
| // IPSEC Logging event descriptor used on the internal port. |
| // |
| // Elements: |
| // - pl_srcAddr - *in* *charstring* - source IP address |
| // - pl_dstAddr - *in* *charstring* - destination IP address |
| // - pl_dstAddr - *in* *integer* - SPI |
| // - pl_ealgo - *in* *charstring* - name of the encription algorithm |
| // - pl_CK - *in* *octetstring* - CK |
| // - pl_aalgo - *in* *charstring* - name of the authentication algorithm |
| // - pl_CK - *in* *octetstring* - IK |
| // |
| // Detailed Comments: |
| // - |
| // |
| /////////////////////////////////////////////////////////// |
| type record EPTF_CLL_Transport_IPsecHandler_Logging_IPSec_Event |
| { |
| charstring srcAddr, |
| charstring dstAddr, |
| integer SPI, |
| charstring ealgo, |
| octetstring CK, |
| charstring aalgo, |
| octetstring IK |
| } |
| |
| } |
| |