Finite State Machine Modelling of Cryptographic Systems in Loops

From MaRDI portal
Publication:5000231