C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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