Development of mathematical and software models of the perspective encryption algorithm for implementation verification

The structure, basic transformations and application modes of the perspective encryption algorithm of symmetric block transformation "Kalina" are considered. Mathematical and software models of the cryptographic algorithm for the implementation verification are examined. In particular, verification method of software implementation of BSC "Kalina" in the respective operating modes is justified, reference software implementation of the basic cipher transformations and test cases for the implementation verification are designed. To eliminate sources of common errors in various cipher components, multi-version development is used, the essence of which is to create two or more software components to implement the same function by the methods that eliminate errors in various cryptographic transformation elements. The results allow to perform verification of the software, softwarehardware and hardware implementation of BSC "Kalina" and all relevant application modes, both at the design stage and in the case of a self-test while the system operation.