Computer-oriented symmetric password formalized description method and system

A formal description, symmetric encryption technology, applied in encryption devices with shift registers/memory, digital data authentication, etc., can solve the problem of low efficiency of symmetric encryption algorithm implementation
CN112667994AActive Publication Date: 2021-04-16SHANDONG UNIV

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
SHANDONG UNIV
Publication Date
2021-04-16

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention discloses a computer-oriented symmetric password formalized description method and system. The method comprises the following steps: decomposing a symmetric password into a plurality of component functions; according to an input bit variable of a single operation in the ith component function, calling a cascade statement to cascade the input of the ith component function into an input n1 bit variable; according to an output bit variable of the single operation in the ith component function, calling a decomposition statement to decompose the output bit variable into n2 1-bit variables; according to an input n1 bit variable and an output bit variable, carrying out formalized description on the single operation of the ith component function; and after the n2 1-bit variables and the (i+1)th component function are subjected to bit replacement, sequentially obtaining formalized description of each component function in the symmetric password. The security and applicability of the algorithm for analyzing the symmetric password by computer assistance are improved, and the problem of low implementation efficiency of the algorithm for manually analyzing the symmetric password is solved.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to the technical field of information security block cipher design and analysis, in particular to a computer-oriented symmetric cipher formal description method and system. Background technique

[0002] The statements in this section merely provide background information related to the present invention and do not necessarily constitute prior art.

[0003] Symmetric ciphers refer to cipher algorithms that use the same key for encryption and decryption, and are mainly used for data encryption; symmetric ciphers include block ciphers, message hash functions, and message authentication codes. And authentication encryption algorithm (authentication encryption algorithm) and so on.

[0004] There are many types of symmetric cryptographic algorithms, such as SPN (substitution-permutation network) structure and Feistel structure, etc. Symmetric cryptographic algorithms are composed of nonlinear operations and linear (affine) operations....

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More