Abstract
Finite State Machines and Sequential Switching Circuits are important system types for modelling cryptographic devices, This is especially true for the case of secret key systems for which automata-theoretical models can be very easily found, either for the whole system or for certain parts of it. Typical examples are stream-cipher systems with a Pseudo-Noise Machine PNM which can be modelled by an aggregate of coupled shift-registers. However, the concept of a Finite State Machine is also very useful for block-cipher operations, such as realized by the DES-Algorithm. An example is the sequential generation of the DES substitution boxes.
Chapter PDF
Similar content being viewed by others
References
Pichler Franz and Herbert Prähofer: CAST. FSM A program system to support Finite State Machine methods Proceedings of EMCSR 88 (ed. R. Trappl) North Holland, Amsterdam 1988 (in preparation)
Pichler Franz and Heinz Schwärtzel: CAST: Computerunterstutzte Systemtheorie Springer-Verlag Berlin (in preparation)
Prahofer Herbert: LOOPS-Implementierung von automatentheoretischen Methoden für “Design for Testability” Anwendungen Master thesis, University Linz, September 1986
Pichler Franz: Anwendung der Automatentheorie in der Kryptologie in: E und I (Elektrotechnik und Informationstechnik), 105. Jahrgang, Heft 1, Jänner 1988, Springer-Verlag Wien (in press)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pichler, F. (1988). Finite State Machine Modelling of Cryptographic Systems in Loops. In: Chaum, D., Price, W.L. (eds) Advances in Cryptology — EUROCRYPT’ 87. EUROCRYPT 1987. Lecture Notes in Computer Science, vol 304. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39118-5_7
Download citation
DOI: https://doi.org/10.1007/3-540-39118-5_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19102-5
Online ISBN: 978-3-540-39118-0
eBook Packages: Springer Book Archive