A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing.

Bogdan Groza Marius Minea

Published in: Financial Cryptography (2010)

Keyphrases

semi automated
fully automated
data driven
context sensitive
qualitative reasoning
mathematical theory
automated classification
real world
genetic algorithm
knowledge base
image segmentation
formal model
formal specification
formal methods
formal models