Abstract:The transformation between Galois type and Fibonacci type of nonlinear feedback shift registers (NFSRs) is investigated. First, the algebraic forms of Galois NFSRs and Fibonacci NFSRs are proposed respectively by viewing the NFSR as a Boolean network. Then, the observability of NFSRs is defined and the observability matrix is constructed, based on which, some necessary and sufficient conditions for the transformation between an n-stage Galois NFSR and a Fibonacci NFSR with the same stage or stage less than n a… Show more
“…2 . The literature [75,76] gave a series of necessary and sufficient conditions for equivalence from the perspective of observability matrix and output tuple, respectively.…”
Section: The Equivalence Transition Between Galois Nfsrs and Fibonacc...mentioning
confidence: 99%
“…In [76] the authors investigated the equivalence transformation between Galois NFSRs and Fibonacci NFSRs based on observability matrix based on STP. According to the definition of observability of sequence generators, the NFSR-based stream ciphers should avoid unobservable Galois NFSRs from the security viewpoint and select observable ones.…”
Section: Observabilitymentioning
confidence: 99%
“…These results are more novel than previous conclusions and are very helpful for the design of practical stream cipher algorithms and decoding algorithms. According to the specific research object, the main achievements can be roughly divided into the modeling of NFSRs [65][66][67], the analysis of the structure of NFSRs [68][69][70][71][72][73][74][75][76][77][78][79][80][81], and the study of the properties of NFSRs [82][83][84][85][86][87][88][89][90][91][92][93][94][95][96][97]. This paper will give an overview of the latest achievements in NFSR research based on STP from these three aspects.…”
Nonlinear feedback shift registers (NFSRs) are the main components of stream ciphers and convolutional decoders. Recent years have seen an increase in the requirement for information security, which has sparked NFSR research. However, the NFSR study is very imperfect as a result of the lack of appropriate mathematical tools. Many scholars have discovered in recent years that the introduction of semi-tensor products (STP) of matrices can overcome this issue because STP can convert the NFSR into a quasi-linear form. As a result of STP, new NFSR research has emerged from a different angle. In view of this, in order to generalize the latest achievements of NFSRs based on STP and provide some directions for future development, the research results are summarized and sorted out, broadly including the modeling of NFSRs, the analysis of the structure of NFSRs, and the study of the properties of NFSRs.
“…2 . The literature [75,76] gave a series of necessary and sufficient conditions for equivalence from the perspective of observability matrix and output tuple, respectively.…”
Section: The Equivalence Transition Between Galois Nfsrs and Fibonacc...mentioning
confidence: 99%
“…In [76] the authors investigated the equivalence transformation between Galois NFSRs and Fibonacci NFSRs based on observability matrix based on STP. According to the definition of observability of sequence generators, the NFSR-based stream ciphers should avoid unobservable Galois NFSRs from the security viewpoint and select observable ones.…”
Section: Observabilitymentioning
confidence: 99%
“…These results are more novel than previous conclusions and are very helpful for the design of practical stream cipher algorithms and decoding algorithms. According to the specific research object, the main achievements can be roughly divided into the modeling of NFSRs [65][66][67], the analysis of the structure of NFSRs [68][69][70][71][72][73][74][75][76][77][78][79][80][81], and the study of the properties of NFSRs [82][83][84][85][86][87][88][89][90][91][92][93][94][95][96][97]. This paper will give an overview of the latest achievements in NFSR research based on STP from these three aspects.…”
Nonlinear feedback shift registers (NFSRs) are the main components of stream ciphers and convolutional decoders. Recent years have seen an increase in the requirement for information security, which has sparked NFSR research. However, the NFSR study is very imperfect as a result of the lack of appropriate mathematical tools. Many scholars have discovered in recent years that the introduction of semi-tensor products (STP) of matrices can overcome this issue because STP can convert the NFSR into a quasi-linear form. As a result of STP, new NFSR research has emerged from a different angle. In view of this, in order to generalize the latest achievements of NFSRs based on STP and provide some directions for future development, the research results are summarized and sorted out, broadly including the modeling of NFSRs, the analysis of the structure of NFSRs, and the study of the properties of NFSRs.
“…Besides, based on the Boolean function of gate networks, an algebraic representation, that is, a linear form of the product of a matrix and a vector, was proposed through the technology of semi-tensor product of matrices, which was an original theory first proposed by Cheng and Qi in 2009 [22]. Thereafter, extensive superior work has been done on the applications of logic systems based on their algebraic representations, such as state estimation [23,24], detectability, and observability [25][26][27] as well as control of Boolean networks [28][29][30][31][32], synchronization of Boolean networks [33,34], games [35][36][37], fault detection of digital circuits [38][39][40], and transformation of two feedback shift registers [41].…”
This article studies an algebra‐logic mixed representation of gate networks and its application to stuck‐at fault diagnosis. First, the gate network is characterized through a logic expression of disjoint sum‐of‐products, and the system structure of the gate network is described based on 2‐to‐1 multiplexers. Then, by resorting to the semi‐tensor product of matrices, a novel algebra‐logic mixed representation is proposed for the gate network through its logic expression and system structure. Furthermore, a novel stuck‐at fault diagnosis algorithm for the gate network is presented, where the stuck‐at fault testability of the gate network is equivalent to the solution existence of the system of linear equations. Finally, the fault diagnosis of the 4‐bit carry look‐ahead adder is carried out to demonstrate the effectiveness and feasibility of the proposed theoretical approach and algorithms.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.