Problems in theory of cryptanalytical invertibility of finite automata
Prikladnaâ diskretnaâ matematika, no. 4 (2020), pp. 62-71
Voir la notice de l'article provenant de la source Math-Net.Ru
The paper continues an investigation of the cryptanalytical invertibility concept of finite automata with a finite delay introduced by the author in his previous papers where he also gave a constructive set theory test for an automaton $A$ to be cryptanalytically invertible, that is, to have a recovering function $f$ which allows to calculate a prefix of a length $m$ in an input sequence of the automaton $A$ by using its output sequence of a length $m+\tau$ and some additional information about $A$ known to cryptanalysts, defining a type of its invertibility and of its recovering functon. Here, we expound a test for that of another kind, namely some logical necessary and sufficient conditions for an automaton $A$ to have or not a recovering function $f$ of a certain type. Results related to specific types of automata invertibility (invertibility tests, inversion algorithms, synthesis of inverse automata and others) are subjects of further researching and publications.
Keywords:
finite automata, information-lossless automata, automata invertibility, recovering function, cryptanalytical invertibility, cryptanalytical invertibility conditions.
@article{PDM_2020_4_a3,
author = {G. P. Agibalov},
title = {Problems in theory of cryptanalytical invertibility of finite automata},
journal = {Prikladna\^a diskretna\^a matematika},
pages = {62--71},
publisher = {mathdoc},
number = {4},
year = {2020},
language = {en},
url = {http://geodesic.mathdoc.fr/item/PDM_2020_4_a3/}
}
G. P. Agibalov. Problems in theory of cryptanalytical invertibility of finite automata. Prikladnaâ diskretnaâ matematika, no. 4 (2020), pp. 62-71. http://geodesic.mathdoc.fr/item/PDM_2020_4_a3/