Selecting theories and nonce generation for recursive protocols.

Klaas Ole Kürtz Ralf Küsters Thomas Wilke

Published in: FMSE (2007)

Keyphrases

generation process
theoretical framework
causal reasoning
underlying assumptions
artificial intelligence
e learning
generation method
recursive algorithm
communication protocols
recursive functions