Commit 1e118329 authored by ASN.1 Documenter's avatar ASN.1 Documenter
Browse files

AtsSecurity initial commit

parent 380b6174

.gitmodules

0 → 100644
+4 −0
Original line number Diff line number Diff line 
[submodule "lib/asn1"]

	path = lib/asn1

	url = https://forge.etsi.org/rep/ITS/asn1/sec_ts103097.git

	branch = testing

ItsSecurity_Functions.ttcn

0 → 100755
+886 −0

File added.

Preview size limit exceeded, changes collapsed.

ItsSecurity_Templates.ttcn

0 → 100755
+66 −0
Original line number Diff line number Diff line 
/**

 *  @author   ETSI / STF481 / STF507 / STF517 / STF538 / STF545

 *  @version  $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsSecurity/ItsSecurity_Templates.ttcn $

 *            $Id: ItsSecurity_Templates.ttcn 2655 2017-01-26 10:46:08Z filatov $

 *  @desc     Module containing templates for secured GeoNetworking ATS

 *  @copyright   ETSI Copyright Notification

 *               No part may be reproduced except as authorized by written permission.

 *               The copyright and the foregoing restriction extend to reproduction in all media.

 *               All rights reserved.

 *

 */

module ItsSecurity_Templates {

    

//    // LibIts

//    import from DENM_PDU_Descriptions language "ASN.1:1997" all;

//    import from ITS_Container language "ASN.1:1997" all;

//    

    // LibItsBtp

    import from LibItsBtp_TypesAndValues all;

    import from LibItsBtp_Templates all;

    import from LibItsBtp_Pixits all;

    

    // LibItsGeoNet

    import from LibItsGeoNetworking_TypesAndValues all;

//    import from LibItsGeoNetworking_Templates all;

    

//    template (present) BtpPayload mw_btpCamPayload := {

//        decodedPayload := {

//            camPacket := ?

//        },

//        rawPayload := ?

//    } // End of template mw_btpCamPayload

//    

//    

//    template (present) BtpPayload mw_btpDenmPayload := {

//        decodedPayload := {

//            denmPacket := ?

//        },

//        rawPayload := ?

//    } // End of template mw_btpDenmPayload

//    

//    template (present) Payload mw_secCamPayload := {

//        decodedPayload := {

//            btpPacket := mw_btpB(

//                PX_DESTINATION_PORT,

//                ?,

//                mw_btpCamPayload

//            )

//        },

//        rawPayload := ?

//        

//    } // End of template mw_secCamPayload

//    

//    template (present) Payload mw_secDenmPayload := {

//        decodedPayload := {

//            btpPacket := mw_btpB(

//                PX_DESTINATION_PORT,

//                ?,

//                mw_btpDenmPayload

//            )

//        },

//        rawPayload := ?

//        

//    } // End of template mw_secCamPayload

    

} // End of module ItsSecurity_Templates 
 No newline at end of file

ItsSecurity_TestCases.ttcn

0 → 100755
+18249 −0

File added.

Preview size limit exceeded, changes collapsed.

ItsSecurity_TestControl.ttcn

0 → 100755
+104 −0
Original line number Diff line number Diff line 
/**

 *  @author   ETSI / STF481 / STF507 / STF517

 *  @version  $Url$

 *            $Id$

 *  @desc     Test Control file for Security Protocol 

 *  @copyright   ETSI Copyright Notification

 *               No part may be reproduced except as authorized by written permission.

 *               The copyright and the foregoing restriction extend to reproduction in all media.

 *               All rights reserved.

 *

 */

module ItsSecurity_TestControl {

    

    // LibItsGeoNetworking

    import from LibItsGeoNetworking_Pics all;

    

    // ItsSecurity

    import from ItsSecurity_TestCases all;

    import from LibItsSecurity_Pics all;

    

    // Test Execution

    control {

        

        /**

         * @desc Sending behaviour test cases

         * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2 Sending behaviour

         */

        if (PICS_GN_SECURITY) {

            execute(TC_SEC_ITSS_SND_MSG_01_BV());

            

            /**

             * @desc Sending behaviour test cases for CAM profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.4 CAM profile

             */

            execute(TC_SEC_ITSS_SND_CAM_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_02_BV());

            execute(TC_SEC_ITSS_SND_CAM_03_BV());

            execute(TC_SEC_ITSS_SND_CAM_04_BV());

            execute(TC_SEC_ITSS_SND_CAM_05_BV());

            execute(TC_SEC_ITSS_SND_CAM_06_BV());

            execute(TC_SEC_ITSS_SND_CAM_07_BV());

            execute(TC_SEC_ITSS_SND_CAM_08_BV());

            execute(TC_SEC_ITSS_SND_CAM_09_BV());

            execute(TC_SEC_ITSS_SND_CAM_10_BV());

            execute(TC_SEC_ITSS_SND_CAM_11_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_11_02_BV());

            execute(TC_SEC_ITSS_SND_CAM_12_BV());

            execute(TC_SEC_ITSS_SND_CAM_13_BV());

            execute(TC_SEC_ITSS_SND_CAM_14_BV());

            execute(TC_SEC_ITSS_SND_CAM_15_BV());

            execute(TC_SEC_ITSS_SND_CAM_16_BV());

            execute(TC_SEC_ITSS_SND_CAM_17_BV());

            execute(TC_SEC_ITSS_SND_CAM_18_BV());

            execute(TC_SEC_ITSS_SND_CAM_19_BV());

            execute(TC_SEC_ITSS_SND_CAM_20_BV());

            execute(TC_SEC_ITSS_SND_CAM_21_BV());

            execute(TC_SEC_ITSS_SND_CAM_22_BV());

            execute(TC_SEC_ITSS_SND_CAM_23_BV());

            execute(TC_SEC_ITSS_SND_CAM_24_BV());

            execute(TC_SEC_ITSS_SND_CAM_25_BV());

            execute(TC_SEC_ITSS_SND_CAM_26_BV());

            execute(TC_SEC_ITSS_SND_CAM_27_BV());

            

            /**

             * @desc Sending behaviour test cases for DENM profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.5 DENM profile

             */

            execute(TC_SEC_ITSS_SND_DENM_01_BV());

            execute(TC_SEC_ITSS_SND_DENM_02_BV());

            execute(TC_SEC_ITSS_SND_DENM_03_BV());

            execute(TC_SEC_ITSS_SND_DENM_04_BV());

            execute(TC_SEC_ITSS_SND_DENM_05_BV());

            execute(TC_SEC_ITSS_SND_DENM_06_BV());

            execute(TC_SEC_ITSS_SND_DENM_07_BV());

            //execute(TC_SEC_ITSS_SND_DENM_08_BV()); Removed

            execute(TC_SEC_ITSS_SND_DENM_09_BV());

            execute(TC_SEC_ITSS_SND_DENM_10_BV());

            execute(TC_SEC_ITSS_SND_DENM_11_BV());

            execute(TC_SEC_ITSS_SND_DENM_12_BV());

            execute(TC_SEC_ITSS_SND_DENM_13_BV());

            execute(TC_SEC_ITSS_SND_DENM_14_BV());

            execute(TC_SEC_ITSS_SND_DENM_15_BV());

            execute(TC_SEC_ITSS_SND_DENM_16_BV());

            execute(TC_SEC_ITSS_SND_DENM_17_BV());

            execute(TC_SEC_ITSS_SND_DENM_18_BV());

            

            /**

             * @desc Sending behaviour test cases for DENM profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.6	Generic signed message profile

             */

            execute(TC_SEC_ITSS_SND_GENMSG_01_BV());

            execute(TC_SEC_ITSS_SND_GENMSG_02_BV());

            execute(TC_SEC_ITSS_SND_GENMSG_03_BV());

            execute(TC_SEC_ITSS_SND_GENMSG_04_BV());

            execute(TC_SEC_ITSS_SND_GENMSG_05_BV());

            execute(TC_SEC_ITSS_SND_GENMSG_06_BV());

            execute(TC_SEC_ITSS_SND_GENMSG_07_BV());

            execute(TC_SEC_ITSS_SND_GENMSG_08_BV());

            

        }

        

    } // End of 'control' statement

    

} // End of module ItsSecurity_TestControl