Primitive Specification for SOBER-128.

Philip Hawkes Gregory G. Rose

Published in: IACR Cryptol. ePrint Arch. (2003)

Keyphrases

high level
formal specification
user defined
formal methods
tool suite
database
learning algorithm
multi agent
natural language
hidden markov models
software engineering
state machine