Finite State Machine Modelling of Cryptographic Systems in Loops
From MaRDI portal
Publication:5000231
DOI10.1007/3-540-39118-5_7zbMath1464.94047OpenAlexW1576099321MaRDI QIDQ5000231
Publication date: 10 July 2021
Published in: Advances in Cryptology — EUROCRYPT ’87 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-39118-5_7
This page was built for publication: Finite State Machine Modelling of Cryptographic Systems in Loops