Finite State Machine Modelling of Cryptographic Systems in Loops.

Published in: EUROCRYPT (1987)

Keyphrases

finite state machines
model checking
computer systems
pattern matching
smart card
state machine
databases
hidden markov models
management system
data exchange
finite state automata
medical devices