Security analysis of cryptographic constructions used within communications in modern transportation systems on the base of modelling

The goal of this paper is the analysis of cryptographic mechanisms utilised in VANET communication for Intelligent Transportation Systems with focus on security. The practical part of the contribution is dedicated to modelling of security properties of VANET networks in OPNET Modeler modelling tool extended by the implementation of the OpenSSL library. The designed models simulate a transmission of authorised alert messages in Car-to-Car communication with Elliptic Curve Integrated Encryption Scheme (ECIES). The OpenSSL library has also been utilised for the comparison of time demandingness of ECDSA schemes for different key-lengths.